Logic programming library development log – #58 by bh – AI in Snap! – Snap! Forum https://forum.snap.berkeley.edu/t/logic-programming-library-development-log/13828/58
From a different topic Sounds interesting. Any specific ideas yet? Would it support optimization through integer linear programming?
And look for obvious circularities like sibling(a,b) :- sibling(b,a).