Doug DeGroot,Gary Lindstrm <br/><br/>
Logic Programming:Functions,relations and equations 

 - 
 -  Prentice-Hall  0 
 - 533 
<br/><br/>  
<br/><br/><label>ISBN: </label>0-13-539958-0 
<br/><br/><label>Dewey Class. No.: </label>004.891