Declarative programming in Prolog - Apt, Krzysztof R. 1949- (1993)