Search
Now showing items 81-81 of 81
Dependency-Directed Backtracking in Non-Deterministic Scheme
(MIT Artificial Intelligence Laboratory, 1988-08)
Non-deterministic LISP can be used to describe a search problem without specifying the method used to solve the problem. We show that SCHEMER, a non-deterministic dialect of SCHEME, can support dependency-directed backtracking ...