Course Overview

Logic Programming is a style of programming based on Symbolic Logic. In recent years, there has been increasing interest in Logic Programming due to applications in deductive databases, automated worksheets, Enterprise Management (business rules), Computational Law, and General Game Playing.

This course is an introduction to Logic Programming theory, current technology, and popular applications. Work in the course takes the form of lectures, readings, online exercises, programming assignments, and a term project.

There will be twenty in-person class sessions - on Tuesdays and Thursdays from 1:30 pm - 2:50 pm. See the table below for a summary of the topics of these sessions. Note that you should attend all sessions. We will occasionally present material in class that is not in the notes, and the sessions will not be recorded.

All of the course materials are online here. There are links to lessons, additional readings, the Epilog language, the Sierra interactive development environment, examples, games, and an online discussion forum. Click the tabs at the top of this page to access this content. The Lessons tab is your friend. Use it. And be sure to check this page frequently, as we will be posting periodic updates here.

If you are desperate for a printed version of the course text, click on the image below to purchase a copy from Amazon. However, it is redundant with the online course materials and is not required.

Note that, as you proceed through the online materials, you may occasionally encounter minor errors or inconsistencies. Apologies in advance for this. We are still working on the course. You may get extra credit for reporting such problems (especially if your reports are not overly irate).

Teaching Staff