Logic programming library development log – Page 5 – AI in Snap! – Snap! Forum https://forum.snap.berkeley.edu/t/logic-programming-library-development-log/13828?page=5
From a different topic Sounds interesting. Any specific ideas yet? Would it support optimization through integer linear programming?
But some rules have empty bodies, e.g., (rule (append () ?b ?