Maier David and Warren David S.. Computing with logic. Logic programming with Prolog . The Benjamin/Cummings Publishing Company, Menlo Park, Calif., etc., 1988, xxi + 535 pp.