Book review: Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 1. Logical Foundations. Edited by Dov M. Gabbay, C. J. Hogger, and J. A. Robinson (Claredon Press, Oxford, 1993 )

One of the main goals of Artificial Intelligence is to design programs (automatic systems) capable of reasoning. It is therefore natural that many of these systems use logic, i.e., a well-formalize...