(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].
Try this search on Wikipedia, OneLook, Google
Nearby terms: Sequent « sequential coding « sequential file matching « Sequential Parlog Machine » sequential processing » SERC » SERCOS