About the book

Welcome to the home page for the book Programming with Higher-Order Logic by Dale Miller and Gopalan Nadathur.  This book was published by Cambridge University Press in June 2012.

Use the menu above to explore this site.

If you are looking for a more proof-theoretic perspective on the topic of logic programming, see the 2025 book Proof Theory and Logic Programming: Computation as Proof Search by Dale Miller.