Miller, Dale <br/><br/>
Programming with higher-order logic / 
Dale Miller, Gopalan Nadathur 
 - Cambridge :  The University Press,  c2012 
 - xiii, 306 p. ;  24 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780521879408  $ 85.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming<br/>Prolog(Computer program language)<br/>COMPUTERS / Programming Languages / General
<br/><br/><label>Dewey Class. No.: </label>005.115