P-Prolog: A parallel logic language based on exclusive relation

DOI10.1007/BF03037459zbMath0614.68021OpenAlexW1999702466MaRDI QIDQ1819929

Rong Yang, Hideo Aiso

Publication date: 1987

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

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

zbMATH Keywords

synchronizationcommunication constraintsdata flowparallel logic programming languageguarded Horn clausesor-parallelismand-parallelismmode declarationnon- determinismP- Prologread-only annotation

Mathematics Subject Classification ID

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

Uses Software

• PARLOG
• GHC

Cites Work

• PARLOG: parallel programming in logic
• Unnamed Item
• Unnamed Item
• Unnamed Item