A declarative semantics of flat guarded Horn clauses for programs with perpetual processes

DOI10.1016/0304-3975(90)90062-MzbMath0702.68081MaRDI QIDQ915481

Masaki Murakami

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

parallelismconcurrencyHorn logicconcurrent programming language

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in artificial intelligence (68T27) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Artificial intelligence (68T99)

Uses Software

• PARLOG
• GHC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Declarative modeling of the operational behavior of logic languages
• Truly concurrent constraint programming
• PARLOG: parallel programming in logic
• Contributions to the Theory of Logic Programming