Logic programming library development log – AI in Snap! – Snap! Forum https://forum.snap.berkeley.edu/t/logic-programming-library-development-log/13828
From a different topic Sounds interesting. Any specific ideas yet? Would it support optimization through integer linear programming?
http://elvira.stacken.kth.se/~mz/sp/stackpointer-1982-2.pdf Starting on page 12.