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

DOI10.1007/3-540-59293-8_215zbMath1496.68088OpenAlexW1521342541MaRDI QIDQ5096751

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Hypothetical reasoning in logic programming: A semantic approach
• Compositional model-theoretic semantics for logic programs
• A calculus for the construction of modular prolog programs
• The Semantics of Predicate Logic as a Programming Language

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