Review of Logical Foundations of Artificial Intelligence

The book "Logical Foundations of Artificial Intelligence (Morgan Kaufmann, Los Altos, Calif., 1987, 406 pp., $48.95) by Michael Genesereth and Nils Nilsson is about declarative knowledge.