H ? « »

Language peer sets for F+L:
Designed 1987
1980s languages
Fifth generation
Late Cold War


alternate simple view
Designed 1987
Published: 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.

Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder