Unit 5: Logic
We have already briefly discussed logic, but this unit will provide you with a more formal definition. We will learn about two main types of logic--propositional and first-order. Prolog was designed for expressing logic. This unit gives you a strong foundation in logic so that you will be able to use or learn Prolog more easily to program logic applications. Similarly, you will be able to use or learn class libraries that support AI techniques in other languages, like C++ and Java.
Completing this unit should take you approximately 24 hours.
5.1: Definition and Types of Logic
5.2: Some Examples of Practical Applications