Logic programming, functions, relations, and equations / 
[Ed. by] Doug DeGroot, Gary Lindstrom. 
 - Englewood Cliffs, N.J. :  Prentice-Hall,  1986. 
 - vii, 533 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliogr. references and index. 
<br/><br/><label>ISBN: </label>0135399580 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>Dewey Class. No.: </label>005.1