Logic programming library development log – Page 3 – AI in Snap! – Snap! Forum https://forum.snap.berkeley.edu/t/logic-programming-library-development-log/13828?page=3
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).