A logic programming language with lambda-abstraction, function variables, and simple unification (1990)

by Dale Miller
Venue:Extensions of Logic Programming. Springer Lecture Notes in Artificial Intelligence
Citations:291 - 24 self