Emphasizing theory and implementation issues more than specific applications and Prolog programming techniques, this book by David Maier and Davis S. Warren, respected researchers in logic programming, is a superb book.

Nigel Ford's book purports to be both an introduction to AI and an examination of whether machines are cognizant entities.With this pairing, Ford intends to begin at the beginning, answering the question "what is AI?" and to proceed to his main thesis about whether machines can think. Unfortunately, Ford is unable to move on to the higher plane of his main thesis.

The prototype system is written in Prolog, a language that has proved to be very powerful and easy to use for problem /rule development. The resulting prototype system (called EXPRS-Expert Prolog System) uses English-like rule constructs of Prolog code. This approach enables the system to generate answers automatically to "why" a ruled fired, and "how" that rule fired. In addition, a rule clause construct is provided which allows direct access to Prolog code routines.