| A bit expensive. Just get Swi Prolog. https://www.swi-prolog.org/ The Simply Logical book as a start: https://book.simply-logical.space/src/simply-logical.html
you can get a PDF just fine. Also, for hardcore mode, get paper and pen,
I'm not kidding: (again, just use SWI Prolog):
https://www.ida.liu.se/~ulfni53/lpp/bok/ Another approach. Scheme and Logic: S9 Scheme, get the bleeding edge version and compile it. Enough to
do the book: https://www.t3x.org/s9fes/ Sketchy Lisp, intro to Scheme: https://archive.org/details/sketchy-lisp Logic Progamming in Scheme:
https://www.t3x.org/amk/index.html |