Computing with logic: logic programming with prolog - Maier David; Warren David S (California Benjamin, 1988)
Keywords: Prolog; Computer science