An Overview of λProlog (1988)

by Gopalan Nadathur, Dale Miller
Venue:In Fifth International Logic Programming Conference