From logic programming to Prolog - Apt, Krzysztof R. 1949- (Prentice-Hall international series in computer science, 1997)