Introduction to First-Order Logic and Prolog

10 Mar 2005

CS 3243 - FOL and Prolog

1

FOL and Prolog

First Order Logic

Chapter 8