Computing with logic logic programming with Prolog - Maier, David; Warren, David S. (California Benjamin/Cummings Publishing, 1988)
Keywords: Prolog (Computer Program Language); Logic Programming