A semantics for modular general logic programs

DOI10.1016/S0304-3975(97)00191-6zbMath0947.68022MaRDI QIDQ1274967

Sandro Etalle

Publication date: 12 January 1999

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

zbMATH Keywords

semanticsnegationlogic programmingmodularityconstraint logic programmingopen programs

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• SICStus

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