rluble

Joined 8 years ago

Karma

-2

Submissions

3

Member since

Nov 17

View on Hacker News

Recent submissions

Comment · 7 years ago

There was substantial research in the 80s and 90s yield a few abstract machines for prolog. Most of them derived from the WAM I believe. See http://www.hpl.hp.com/techreports/Compaq-DEC/PRL-RR-36.pdf