A refinement of import/export declarations in modular logic programming and its semantics

DOI10.1007/3-540-59293-8_215MaRDI QIDQ5096751zbMATH OpenOpenAlexFDO

Authors Isambo Karali, Constantin Halatsis

Publication date 18 August 2022

Published in TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59293-8_215

Mathematics Subject Classification ID

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

Recommendations

• A calculus for the construction of modular prolog programs
• A semantics for modular general logic programs
• Modules for Prolog Revisited
• A logical analysis of modules in logic programming
• scientific article; zbMATH DE number 1696792

Cites work

• scientific article; zbMATH DE number 3978351 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• A calculus for the construction of modular prolog programs
• Compositional model-theoretic semantics for logic programs
• Hypothetical reasoning in logic programming: A semantic approach
• The Semantics of Predicate Logic as a Programming Language

Cited in

(3)

• Modules for Prolog Revisited
• A closer look at export and import statements
• Importing logics

This page was built for publication: A refinement of import/export declarations in modular logic programming and its semantics

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