Sequential parlog machine

(SPM) The virtual machine (and its machine code) for the Parlog logic programming language.