An Overview of λ-Prolog (0)

by G Nadathur, D Miller
Venue:Proceedings of the Fifth International Symposium on Logic Programming