Course Description

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.

All of the course materials are online here. There are links to Lessons, some References, the Epilog language, the Sierra interactive development environment, and the Ed Forum (currently open only to Stanford students). Click the tabs at the top of this page to access this content. The Lessons tab is your friend. Use it.

If you are desperate for a printed version of the course text, click on the image below to purchase a copy from Amazon.

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. Your comments will be much appreciated (especially if they are not overly irate).