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