Declarative error diagnosis
- 1 June 1987
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 5 (2) , 133-154
- https://doi.org/10.1007/bf03037396
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Rational debugging in logic programmingPublished by Springer Nature ,1986
- Negation and quantifiers in NU-PrologPublished by Springer Nature ,1986
- Automating control for logic programsThe Journal of Logic Programming, 1985
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984