CS 371: Introduction to Artificial Intelligence
		First-Order Logic