Course director: Zbigniew Stachniak Course Description: The course introduces and explores two programming paradigms: logic and functional programming. ``Together with the students' background on procedural and object-oriented programming, the course allows them to compare the development of programs in these different types of languages.'' [from 2005/2006 Undergraduate Calendar] The Standard PROLOG will be considered in detail. This language (and its dialects) is widely used in Artificial Intelligence applications and other areas of computer science. LISP programming language played an important role in the development of Artificial Intelligence. In this course, Common Lisp will be discussed as a representative of the family of functional programming languages. Reading List and resources: There is no single textbook for this course. Most of the material covered in this course is also discussed in: W.F. Clocksin, C.S. Mellish, Programming in Prolog, Springer-Verlag, 5'th edition, 2004. I. Bratko, PROLOG Programming for Artificial Intelligence Addison-Wesley Peter Seibel, Practical Common Lisp, Apress (you can order this book from amazon.ca) The reading material on advanced topics, such as constraint logic programming or object oriented Lisp, will be provided at a later date. The SWI-PROLOG and CLISP Common Lisp programming environments will be used. Please consult the SWI-Prolog site and the CLISP site for more information. Both environments are supported on Prism (see /cs/local/share/doc/clisp and manual pages for pl. Course Directory: All course related information (e.g. lecture notes, assignments, sample tests, etc.) can be found in /cs/dept/course/2007-08/W/3401 Course Work: For information on assignments, midterm, and their deadlines follow this link. Questions: If you have any questions, send an email to the course director