Non-Deterministic Lisp with Dependency-Directed Backtracking

Extending functional Lisp with McCarthy’s non-deterministic operator AMB yields a language which can concisely express search problems. Dependency-directed backtracking is a powerful search strategy. We describe a non-deterministic Lisp dialect called SCHEMER and show that it can provide automatic dependency-directed backtracking. The resulting language provides a convenient interface to this efficient backtracking strategy.

Authors

• Ramin Zabih

Keywords

No keywords are indexed for this paper.