Program Development in Computational Logic

DOI10.1007/b98187zbMath1080.68553OpenAlexW2504992661MaRDI QIDQ5712538

Stephen-John Craig, Michael Leuschel, Wim Vanhoof, Maurice Bruynooghe

Publication date: 23 December 2005

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

Full work available at URL: https://doi.org/10.1007/b98187

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Fast offline partial evaluation of logic programs ⋮ Efficient and flexible access control via Jones-optimal logic program specialisation ⋮ Fast Offline Partial Evaluation of Large Logic Programs

Uses Software

• LOGEN
• ECCE
• ProB

This page was built for publication: Program Development in Computational Logic