Logic programming library development log – Page 4 – AI in Snap! – Snap! Forum https://forum.snap.berkeley.edu/t/logic-programming-library-development-log/13828?page=4
From a different topic Sounds interesting. Any specific ideas yet? Would it support optimization through integer linear programming?
assertions and rules are indexed on the functor, if constant, so you can quickly find