alt Hacker NewsEverything, you heard the joke about those who don't know Lisp end up reinventing it, well, the same can be said for Prolog.
Replies
mamp • today at 4:34 AM
One doesn’t simply create a Warren Abstract Machine by accident
➕ show 1 reply
Everything, you heard the joke about those who don't know Lisp end up reinventing it, well, the same can be said for Prolog.
One doesn’t simply create a Warren Abstract Machine by accident
You can implement Prolog in Lisp trivially:
https://t3x.org/lisp64k/prolog.html
The linked code runs in this: Unix, DOS and CP/M
https://t3x.org/klisp/index.html
It will compile for CP/M and DOS (Turbo C), Unix, Windows and whatnot.
64k Lisp:
https://t3x.org/lisp64k/index.html
Zenlisp it's similar but almost gives an intro CS course (pre SICP) for the cheap implementing discrete Math and tons of stuff in pure Lisp, even rational and complex numbers. The end chapter it's about logic programmer of course.
https://t3x.org/zsp/index.html