Levi, Giorgio <br/><br/>
Logic programming 
by Giorgio Levi and Maurizio Martelli. 
 - Cambridge  MIT  1989 
 - viii, 692p. 
<br/><br/><label>ISBN: </label>0262620650 
<br/><br/><label>Dewey Class. No.: </label>005.115  / N89