An abstract machine for the implementation of PARLOG on uniprocessors (Q1115584): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
Property / describes a project that uses | |||
Property / describes a project that uses: PARLOG / rank | |||
Normal rank |
Revision as of 11:49, 28 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An abstract machine for the implementation of PARLOG on uniprocessors |
scientific article |
Statements
An abstract machine for the implementation of PARLOG on uniprocessors (English)
0 references
1989
0 references
An abstract machine that supports the parallel logic programming language PARLOG is presented. This abstract machine is designed for the efficient execution of PARLOG on conventional uniprocessors and is thus named the Sequential PARLOG Machine (SPM). The machine's architecture and instruction set are described and the principles of compilation of PARLOG programs to sequences of abstract machine instructions explained. The machine supports systems programming in PARLOG and in particular PARLOG's powerful control metacall, which permits programs to initiate, monitor and control subcomputations.
0 references
parallel logic programming language PARLOG
0 references
abstract machine
0 references