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:271 - 21 self

Document Versions

A logic programming language with lambda-abstraction, function variables, and simple unification –Dale Miller — 1990 — Extensions of Logic Programming. Springer Lecture Notes in Artificial Intelligence
A logic programming language with lambda-abstraction, function variables, and simple unification –Dale Miller — 1990 — Extensions of Logic Programming. Springer Lecture Notes in Artificial Intelligence
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification –Dale Miller — 1991 — Journal of Logic and Computation