Screamer: A Portable Efficient Implementation of Nondeterministic Common LISP
暂无分享,去创建一个
[1] John McCarthy,et al. A Basis for a Mathematical Theory of Computation , 1899 .
[2] Guy L. Steele,et al. LAMBDA: The Ultimate Declarative , 1976 .
[3] Gerald Jay Sussman,et al. Lambda: The Ultimate Imperative , 1976 .
[4] Jr. Guy L. Steele,et al. Rabbit: A Compiler for Scheme , 1978 .
[5] William D. Clinger. Nondeterministic call by need is neither lazy nor by name , 1982, LFP '82.
[6] Mats Carlsson,et al. How to Implement Prolog on a LISP Machine , 1984, Implementations of Prolog.
[7] Christopher T. Haynes,et al. Logic Continuations , 1986, J. Log. Program..
[8] David A. McAllester,et al. Non-Deterministic Lisp with Dependency-directed Backtracking , 1987, AAAI.
[9] Ramin Zabih,et al. Dependency-Directed Backtracking in Non-Deterministic Scheme , 1988 .
[10] David A. McAllester,et al. Nondeterministic Lisp as a Substrate for Constraint Logic Programming , 1993, AAAI.