Effective Logic Computation

This text describes mathematical methods for computation in propositional logic, offering an alternative to the production rule- or neural net-based approaches commonly used in the design of expert systems. Much of the mathematics described in this book has been implemented in the Leibniz System, a commercially available software system for logic programming and a leading tool for building expert systems.