Maier David Computing with logic: logic programming with prolog Maier David; Warren David S - California Benjamin 1988 - xxi, 535p. cm. Standard No.: 42983 Source: Textual Subjects--Topical Terms: PrologComputer science Dewey Class. No.: D65,8(B)92Pr, M8