An overview of λProlog (1988)

by G Nadathur, D Miller
Venue:Fifth Int. Joint Conf. and Symp. on Logic Programming