Automatic Binding-Related Error Diagnosis in Logic Programs

DOI10.1007/978-3-540-74610-2_23zbMath1213.68184OpenAlexW1973475297MaRDI QIDQ3608666

Manuel V. Hermenegildo, Paweł Pietrzak

Publication date: 5 March 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: http://oa.upm.es/14318/

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Automatic Binding-Related Error Diagnosis in Logic Programs