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

DOI10.1007/3-540-59293-8_215zbMATH Open1496.68088OpenAlexW1521342541MaRDI QIDQ5096751FDOQ5096751

Constantin Halatsis, Isambo Karali

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

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

Mathematics Subject Classification ID

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

Cites Work

• The Semantics of Predicate Logic as a Programming Language
• Title not available (Why is that?)
• Title not available (Why is that?)
• Compositional model-theoretic semantics for logic programs
• Hypothetical reasoning in logic programming: A semantic approach
• A calculus for the construction of modular prolog programs

Cited In (2)

• 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)