Поиск в словарях
Sequential parlog machine
(SPM) The
virtual machine
(and its machine code) for the
Parlog
logic programming
language.