An introduction to Prolog III (1990)

by A Colmerauer
Venue:Commun. ACM