An overview of -prolog (1988)

by D Miller, G Nadathur
Venue:Proceedings of the International Logic Programming Conference