LEAF -
1. LISP Extended Algebraic Facility. "An Algebraic Extension to LISP",
P.H. Knowlton, Proc FJCC 35 (1969).
2. "LEAF: A Language which Integrates Logic, Equations and Functions", R.
Barbuti et al in Logic Programming, Functions Relations and Equations, D.
DeGroot et al eds, P-H 1986, pp.201-238.
Comments, Experience, Additions
Next Language: Lean