A new module system for Prolog

DOI10.1007/3-540-44957-4_9MaRDI QIDQ2767050zbMATH OpenFDO

Authors Daniel Cabeza, Manuel Hermenegildo

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44957-4_9

zbMATH Keywords

Ciao-Prologglobal analysis and transformationmodular program processingmodulesPrologseparate compilation

Mathematics Subject Classification ID

Logic programming (68N17) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1497834
• scientific article; zbMATH DE number 1497828
• Modules for Prolog Revisited
• scientific article; zbMATH DE number 1497832
• A calculus for the construction of modular prolog programs

Cited in

(17)

• An overview of Ciao and its design philosophy
• scientific article; zbMATH DE number 3942994 (Why is no real title available?)
• scientific article; zbMATH DE number 4062551 (Why is no real title available?)
• A new term representation method for prolog
• A calculus for the construction of modular prolog programs
• scientific article; zbMATH DE number 1497828 (Why is no real title available?)
• scientific article; zbMATH DE number 1497832 (Why is no real title available?)
• scientific article; zbMATH DE number 1497834 (Why is no real title available?)
• scientific article; zbMATH DE number 1497843 (Why is no real title available?)
• Semantic code browsing
• Modular extensions for modular (logic) languages
• scientific article; zbMATH DE number 7453099 (Why is no real title available?)
• A refinement of import/export declarations in modular logic programming and its semantics
• Incremental analysis of logic programs with assertions and open predicates
• Modules for Prolog Revisited
• Fuzzy Prolog: A new approach using soft constraints propagation
• Fifty Years of Prolog and Beyond

This page was built for publication: A new module system for Prolog

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