Enumeration operators and modular logic programming

DOI10.1016/0743-1066(87)90019-7MaRDI QIDQ3747701zbMATHOpenAlexFDO

Authors Melvin Fitting

Publication date 1987

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(87)90019-7

zbMATH Keywords

compositionrecursionenumeration operatorsemantics for logic programming modules

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 732053
• A semantics for modular general logic programs
• Dynamic composition of parameterised logic modules
• A logical analysis of modules in logic programming
• A model-theoretic reconstruction of the operational semantics of logic programs

Cited in

(4)

• The logic of justified belief, explicit knowledge, and conclusive evidence
• Properties of general semantic operators determined by logic-based systems
• Fully abstract compositional semantics for an algebra of logic programs
• Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989

This page was built for publication: Enumeration operators and modular logic programming

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