Prolog 

 - Milton Keynes  Open University  1986 
 - V.II 
 - Mathematics : a third level course (Unit 10) (M353) .
<br/><br/><label>ISBN: </label>335142060