Walker A Ed. Knowledge systems and prolog - 1987 - xii,475p. cm. Standard No.: 47632 Source: Textual Subjects--Topical Terms: Computer science Dewey Class. No.: D65,8(B)92E, M7