You have to find a valid assignment of resources according to some business rules that are unstable/partially unknown/very likely to change. You have to solve

You have to find a valid assignment of resources according to some business rules that are unstable/partially unknown/very likely to change. You have to solve some kind of 3-SAT-reducible problem that would be difficult to implement otherwise. You have to do some heavy pattern-matching. Closely related: https://en.wikipedia.org/wiki/Answer_set_programming https://en.wikipedia.org/wiki/Answer_set_programming