Ebook: Computing With Logic: Logic Programming With Prolog

This text is appropriate for a senior or first-year graduate course on logic
programming. It concentrates on the formal semantics of logic programs, automatic theorem-
proving techniques, and efficient implementation of logic languages. It is also an
excellent reference for the computer professional wishing to do self-study on the
fundamentals of logic programming. We have included numerous examples to
illustrate all the major concepts and results. No other text deals with implementation
in as much detail. Other discussions of implementation techniques do not explain
and develop the relationship between interpreter (or compiler) behavior and
resolution theorem proving. We stress that connection throughout.