Enumeration operators and modular logic programming

DOI10.1016/0743-1066(87)90019-7zbMATH Open0608.68005OpenAlexW2038702451MaRDI QIDQ3747701FDOQ3747701

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

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

zbMATH Keywords

compositionrecursionenumeration operatorsemantics for logic programming modules

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (4)

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

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)