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?
Why not just have FACT and RULE and GOAL blocks that can be used in any order, and