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?
block reporting its result: Logic programming v1.4 script pic 21838×544 197 KB Link