Compositional model-theoretic semantics for logic programs

DOI10.1007/BF03037525zbMath0782.68023MaRDI QIDQ1205176

Antonio Brogi, Evelina Lamma, Paola Mello

Publication date: 1 April 1993

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

Herbrand modelscompositionality

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

A refinement of import/export declarations in modular logic programming and its semantics, A unifying view for logic programming with non-monotonic reasoning, An abductive framework for extended logic programming, Fully abstract compositional semantics for an algebra of logic programs, Compositional model-theoretic semantics for logic programs, A semantics for modular general logic programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Compiling a default reasoning system into Prolog
• A logical framework for default reasoning
• Compositional model-theoretic semantics for logic programs
• Complete logic programs with domain-closure axiom
• Contributions to the Theory of Logic Programming
• The Semantics of Predicate Logic as a Programming Language
• Composing Open Logic Programs
• A logical analysis of modules in logic programming