An abstract machine for the implementation of PARLOG on uniprocessors

DOI10.1007/BF03037448zbMath0664.68029OpenAlexW1987517800MaRDI QIDQ1115584

Steve Gregory, Ian T. Foster, Alastair D. Burt, Graem A. Ringwood

Publication date: 1989

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037448

zbMATH Keywords

abstract machineparallel logic programming language PARLOG

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items

Flat Parlog: A basis for comparison

Uses Software

• PARLOG
• GHC

Cites Work

• Unnamed Item
• A note on iterates that are contractions
• Flat Parlog: A basis for comparison
• How to invent a Prolog machine
• Notes on the implementation of PARLOG
• PARLOG: parallel programming in logic
• A time- and space-efficient garbage compaction algorithm