Computing with logic : logic programming with prolog - Maier, David; Warren, David S. (Menlo Park The Benjamin/Cummings Publishing Company, 1988)
Keywords: Logic programming; Prolog (Computer program language).