Computing with logic : Logic programming with Prolog - MAIER 1953- (Menlo Park, Calif. : Benjamin/Cummings Pub. Co., 1988)
Includes bibliographies and index
Keywords: Logic programming; Prolog (Computer program language)