F+L(ID:1321/fl:002)
Began: 1987
Languages for 1987
1980s languages
Fifth generation
Late Cold War
Published: 1987
1987
Equational clauses within function definitions to solve for logical variable bindings. "Functions plus Logic in Theory and Practice", R.B. Kieburtz, Feb 1987, unpublished.