Computing with logic : logic programming with Prolog - Maier, David, 1953- (Benjamin/Cummings Pub. Co., 1988)