Maier, David.

Computing with logic : logic programming with prolog by David Maier and David S. Warren. - Menlo park Benjamin Cummings 1988 - xxi, 535p.

0805366814

005.133 / N8833