A framework for intelligent backtracking in logic programs
- 1 January 1986
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 108-123
- https://doi.org/10.1007/3-540-17179-7_7
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- An intelligent backtracking algorithm for parallel execution of logic programsLecture Notes in Computer Science, 1986
- Deduction Plans: A Basis for Intelligent BacktrackingIEEE Transactions on Pattern Analysis and Machine Intelligence, 1981