Semantics of distributed definite clause programs

DOI10.1016/0304-3975(89)90129-1zbMATH Open0686.68016OpenAlexW1964652435MaRDI QIDQ1262747FDOQ1262747

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

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• PARLOG: parallel programming in logic
• The Semantics of Predicate Logic as a Programming Language
• A kripke-kleene semantics for logic programs*
• Contributions to the Theory of Logic Programming
• AND parallelism and nondeterminism in logic programs
• Closures and fairness in the semantics of programming logic
• A synchronization logic: Axiomatics and formal semantics of generalized horn clauses

Cited In (1)

• Connectionist computations of intuitionistic reasoning

Uses Software

• PARLOG

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1262747)