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


Mission of the Stanford Logic Group

Research on the theory of Computational Logic, software tools, applications, and online classes and traditional courses.