Logic Programming

An Online Course on Logic Programming

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 introduces Logic Programming theory, current technology, and popular applications. Work in the course takes the form of readings, exercises, and programming assignments.

Go to Course

Comments and complaints to genesereth@stanford.edu.