The Open University of Sri Lanka Deductive reasoning and prolog for artificial intelligence - Nugegoda The Open University of Sri Lanka 1997 - ix, 164 p. ISBN: 139628 Dewey Class. No.: 6.3 / OPE