Screamer
september 2011 by cstrahan
Screamer provides a nondeterministic choice-point operator, a backtracking mechanism, and a forward propagation facility.
lisp
research
september 2011 by cstrahan
Copy this bookmark:
Copy this bookmark: