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?
One piece of code I’m not sure I don’t understand (at all) is on p. 642 (§ 4.4.4.2