Trailing analysis for HAL

DOI10.1007/3-540-45619-8_4MaRDI QIDQ4809154zbMATH OpenFDO

Authors Tom Schrijvers, Maria Garcia De La Banda, Bart Demoen

Publication date 12 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2401/24010038.htm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Improving PARMA trailing
• Program Development in Computational Logic
• To the gates of HAL: A HAL tutorial
• Mode checking in HAL
• Building constraint solvers with HAL

This page was built for publication: Trailing analysis for HAL

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