Modules for Prolog Revisited

DOI10.1007/11799573_6zbMath1131.68378OpenAlexW2101312015MaRDI QIDQ5449591

François Fages, Rémy Haemmerlé

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

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (5)

Making ProB Compatible with SWI-Prolog ⋮ Fifty Years of Prolog and Beyond ⋮ In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ From Rules to Constraint Programs with the Rules2CP Modelling Language ⋮ Closures and Modules Within Linear Logic Concurrent Constraint Programming

Uses Software

• XSB

This page was built for publication: Modules for Prolog Revisited