Computing with logic logic programming with Prolog - Maier, David 1953-; Warren, David S. (Benjamin/Cummings Publ. Co., 1988)