Nondeterministic Lisp as a Substrate for Constraint Logic Programming
暂无分享,去创建一个
[1] Ivan E. Sutherland,et al. Sketchpad a Man-Machine Graphical Communication System , 1899, Outstanding Dissertations in the Computer Sciences.
[2] Ivan E. Sutherland,et al. Sketchpad a Man-Machine Graphical Communication System , 1964 .
[3] Alan Borning,et al. ThingLab: a constraint-oriented simulation laboratory , 1979 .
[4] Guy L. Steele,et al. The definition and implementation of a computer programming language based on constraints , 1980 .
[5] Gerald Jay Sussman,et al. CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..
[6] James Arthur Gosling,et al. Algebraic constraints , 1983 .
[7] Alain Colmerauer,et al. Equations and Inequations on Finite and Infinite Trees , 1984, FGCS.
[8] Joxan Jaffar,et al. Constraint logic programming , 1987, POPL '87.
[9] Pascal Van Hentenryck. Constraint satisfaction in logic programming , 1989, Logic programming.
[10] David A. McAllester. Truth Maintenance , 1990, AAAI.
[11] R. Dechter. to Constraint Satisfaction , 1991 .
[12] E. Hansen,et al. Nonlinear equations and optimization , 1993 .
[13] David A. McAllester,et al. Screamer: A Portable Efficient Implementation of Nondeterministic Common LISP , 1993 .