Modules for Prolog Revisited
From MaRDI portal
Publication:5449591
DOI10.1007/11799573_6zbMATH Open1131.68378OpenAlexW2101312015MaRDI QIDQ5449591FDOQ5449591
Authors: Rémy Haemmerlé, François Fages
Publication date: 11 March 2008
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11799573_6
Recommendations
Cited In (10)
- A calculus for the construction of modular prolog programs
- Modular extensions for modular (logic) languages
- Title not available (Why is that?)
- Closures and Modules Within Linear Logic Concurrent Constraint Programming
- In praise of impredicativity: a contribution to the formalization of meta-programming
- Title not available (Why is that?)
- From Rules to Constraint Programs with the Rules2CP Modelling Language
- Fifty Years of Prolog and Beyond
- Making ProB Compatible with SWI-Prolog
- A refinement of import/export declarations in modular logic programming and its semantics
Uses Software
This page was built for publication: Modules for Prolog Revisited
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5449591)