An introduction to Prolog III (1990)

by A COLMERAUER
Venue:Communications of the ACM