A semantics for modular general logic programs
From MaRDI portal
Publication:1274967
DOI10.1016/S0304-3975(97)00191-6zbMath0947.68022MaRDI QIDQ1274967
Publication date: 12 January 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Closures and fairness in the semantics of programming logic
- Differential logic programs: Programming methodologies and semantics
- Equivalence-preserving first-order unfold/fold transformation systems
- Compositional model-theoretic semantics for logic programs
- A transformation system for deductive database modules with perfect model semantics
- A compositional semantics for logic programs
- A kripke-kleene semantics for logic programs*
- Negation in logic programming
- Logic programming and negation: A survey
- A logical analysis of modules in logic programming
- Observable Semantics for Constraint Logic Programs
- Simultaneous Replacement in Normal Programs
This page was built for publication: A semantics for modular general logic programs