Logic programming library development log – Page 6 – AI in Snap! – Snap! Forum https://forum.snap.berkeley.edu/t/logic-programming-library-development-log/13828?page=6
From a different topic Sounds interesting. Any specific ideas yet? Would it support optimization through integer linear programming?
It has to be that (car (cons a b)) = a (cdr (cons a b)) = b and that doesn’t work