Semantics of distributed definite clause programs

DOI10.1016/0304-3975(89)90129-1zbMath0686.68016OpenAlexW1964652435MaRDI QIDQ1262747

K. Appert

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1016/0304-3975(89)90129-1

zbMATH Keywords

operational semanticsleast fixed-point

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99) General topics in the theory of software (68N01)

Related Items (1)

Connectionist computations of intuitionistic reasoning

Uses Software

• PARLOG

Cites Work

• Closures and fairness in the semantics of programming logic
• AND parallelism and nondeterminism in logic programs
• A kripke-kleene semantics for logic programs*
• A synchronization logic: Axiomatics and formal semantics of generalized horn clauses
• PARLOG: parallel programming in logic
• Contributions to the Theory of Logic Programming
• The Semantics of Predicate Logic as a Programming Language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics of distributed definite clause programs