An introduction to Prolog III (1990)

by A Colmcraucr
Venue:Communications of the ACM