A calculus for the construction of modular prolog programs

DOI10.1016/0743-1066(92)90042-2MaRDI QIDQ3992238zbMATH OpenOpenAlexFDO

Authors Donald Sannella, Lincoln Wallen

Publication date 13 August 1992

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(92)90042-2

zbMATH Keywords

modularityPROLOG

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A semantics for modular general logic programs
• Logic Programming
• scientific article; zbMATH DE number 1696792
• scientific article; zbMATH DE number 4072431
• Modules for Prolog Revisited

Cited in

(22)

• A language for linking modules into systems
• Data abstraction in Prolog/KR
• Structured theory presentations and logic representations
• Institutions for logic programming
• Modular specifications with supernormal defaults
• Prolog-oriented support of calculations
• scientific article; zbMATH DE number 1696792 (Why is no real title available?)
• The design of Apple—A language for modular programs
• scientific article; zbMATH DE number 3938530 (Why is no real title available?)
• scientific article; zbMATH DE number 3942994 (Why is no real title available?)
• scientific article; zbMATH DE number 4062551 (Why is no real title available?)
• scientific article; zbMATH DE number 512961 (Why is no real title available?)
• A module system for a programming language based on the LF logical framework
• scientific article; zbMATH DE number 1954105 (Why is no real title available?)
• scientific article; zbMATH DE number 1497828 (Why is no real title available?)
• scientific article; zbMATH DE number 1497834 (Why is no real title available?)
• scientific article; zbMATH DE number 3999251 (Why is no real title available?)
• A logical analysis of modules in logic programming
• Modular extensions for modular (logic) languages
• A refinement of import/export declarations in modular logic programming and its semantics
• Modules for Prolog Revisited
• Towards Structured Contexts and Modules

This page was built for publication: A calculus for the construction of modular prolog programs

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