Walker, A Knowledge systems and prolog - New York : Addison Weeley, 1987. - vii,475 ISBN: 0-201-09044-9 Subjects--Topical Terms: Computer EngineeringInformation Technology Dewey Class. No.: 006.33 / WAL