> I may be implementing a system like this soon Then you may want to also dig into https://en.wikipedia.org/wiki/Answer_set_programming https://en.wikipedia.or

> I may be implementing a system like this soon Then you may want to also dig into https://en.wikipedia.org/wiki/Answer_set_programming https://en.wikipedia.org/wiki/Answer_set_programming papers / solvers / systems over the past ~1.5 decades or so. > In a more general sense, ASP includes all applications of answer sets to knowledge representation and the use of Prolog-style query evaluation for solving problems arising in these applications.