4 ms·
I found Paul Tarau's work the easiest to follow on making a functional Prolog without WAM, for example: https://code.google.com/archive/p/kernel-prolog/ https:/
by fspeech 10y ago
I found Paul Tarau's work the easiest to follow on making a functional Prolog without WAM, for example: https://code.google.com/archive/p/kernel-prolog/ https://code.google.com/archive/p/kernel-prolog/
He also has theory papers explaining the architecture. For example: http://logic.cse.unt.edu/tarau/research/NewJinniPapers/fluents.html http://logic.cse.unt.edu/tarau/research/NewJinniPapers/fluen...
- B1FF_PSUVM 10y agoWAM: "an abstract machine for the execution of Prolog" https://en.wikipedia.org/wiki/Warren_Abstract_Machine https://en.wikipedia.org/wiki/Warren_Abstract_Machine (a couple of others in the Wikipedia disambiguation page are worrisome ...)