Enumeration operators and modular logic programming

DOI10.1016/0743-1066(87)90019-7zbMath0608.68005OpenAlexW2038702451MaRDI QIDQ3747701

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

recursioncompositionenumeration operatorsemantics for logic programming modules

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989 ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ Fully abstract compositional semantics for an algebra of logic programs