OPEN University of Sri Lanka <br/><br/>
Deductive reasoning and prolog for artificial intelligence CSU 2280 

 - Nugegoda  Open Univerisity of Sri Lanka, Dept. of mathematics  1997 
 - 164 p. 
<br/><br/><label>ISBN: </label>139627 
<br/><br/><label>Dewey Class. No.: </label>6.3  / OPE