OPEN University of Sri Lanka Deductive reasoning and prolog for artificial intelligence CSU 2280 - Nugegoda Open Univerisity of Sri Lanka, Dept. of mathematics 1997 - 164 p. ISBN: 139627 Dewey Class. No.: 6.3 / OPE