An introduction to Prolog III (1990)

by Alain Colmerauer
Venue:Communication of the ACM