ATI822: Computational Logic

This course introduces students to the computational dimensions of Logic. It takes computation beyond the manipulation of numerical data to the realm of manipulation of symbolic data.  Students will learn to encode information in the form of logic statements and thereby develop the capacity to implement automated reasoning. They will study Knowledge Representation in logical statements by the integration of information and the rules for its application.

They will be exposed to the alternative programming paradigm of Logic Programming in Prolog as a declarative programing language in contrast to the more common procedural programming paradigm. They will investigate the application of these ideas in areas such as mathematics, Science, Engineering, business and law.