This course deals with logic programming paradigm and Prolog. We discuss the syntax and the semantics of Prolog, the working of a Prolog interpreter and various applications of Prolog. In particular, we consider the use of Prolog of database querying, parsing, meta-programming, and problem solving in AI. The programming assignments can be coded in SWI_Prolog or XSB.
College of Engineering and Computer Science