Maier, David. Computing with logic : logic programming with prolog by David Maier and David S. Warren. - Menlo park Benjamin Cummings 1988 - xxi, 535p. ISBN: 0805366814 Dewey Class. No.: 005.133 / N8833