Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
- 30 September 1987
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 4 (3) , 177-198
- https://doi.org/10.1016/0743-1066(87)90001-x
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Logic ProgrammingPublished by Elsevier ,2014
- Algorithmic Program DebuggingPublished by MIT Press ,1983
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976