3 ms·
Traditionally the WAM[1] has been the route, but see Paul Tarau's "A Hitchhiker’s Guide to Reinventing a Prolog Machine"[2]. Check out also Nils M Holm's "PROL
by carapace 6y ago
Traditionally the WAM[1] has been the route, but see Paul Tarau's "A Hitchhiker’s Guide to Reinventing a Prolog Machine"[2]. Check out also Nils M Holm's "PROLOG Control in Six Slides"[3]
[1] https://en.wikipedia.org/wiki/Warren_Abstract_Machine https://en.wikipedia.org/wiki/Warren_Abstract_Machine
[2] https://www.cse.unt.edu/~tarau/research/2017/eng.pdf https://www.cse.unt.edu/~tarau/research/2017/eng.pdf
[3] https://www.t3x.org/bits/prolog6.html https://www.t3x.org/bits/prolog6.html https://news.ycombinator.com/item?id=20591771 https://news.ycombinator.com/item?id=20591771
I don't know anything about it but there's "Prolog.c: a simple Prolog interpreter written in 200 LOC of C++ (2000) (cam.ac.uk)"
https://news.ycombinator.com/item?id=12193694 https://news.ycombinator.com/item?id=12193694
http://www.cl.cam.ac.uk/~am21/research/funnel/prolog.c http://www.cl.cam.ac.uk/~am21/research/funnel/prolog.c