Sequential Parlog Machine

from The Free On-line Dictionary of Computing (8 July 2008)

Sequential Parlog Machine
SPM

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

   (ftp://nuri.inria.fr/lang/Parlog.tar.Z).

   ["Parallel Logic Programming in PARLOG", Steve Gregory,
   Addison-Wesely, UK, 1987].