FOL and Prolog
				First Order Logic Chapter 8