Miller, Dale <br/><br/>
Programming with higher-order logic / 
Dale Miller, Gopalan Nadathur 
 - Cambridge :  Cambridge University Press,  2012 
 - xiii, 306 p. ;  24 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/>Machine generated contents note: 1. First-order terms and representations of data; 2. First-order horn clauses; 3. First-order hereditary Harrop formulas; 4. Typed lambda-terms and formulas; 5. Using quantification at higher-order types; 6. Mechanisms for structuring large programs; 7. Computations over [lambda]-terms; 8. Unification of [lambda]-terms; 9. Implementing proof systems; 10. Computations over functional programs; 11. Encoding a process calculus language; Appendix. The Teyjus system 
<br/><br/><label>ISBN: </label>9780521879408 (hardback) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming<br/>Prolog (Computer program language)<br/>COMPUTERS / Programming Languages / General.