Introduction to
Logic Programming
What
versus
How
 

Lessons Notes Examples Readings Epilog


Welcome

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.

Mike Genesereth
Email: genesereth@stanford.edu
Office: Gates 220
Office Hours: Wed 3:00-4:00 pm
Vinay Chaudhri
Email: vinay_chaudhri@yahoo.com
Office: Gates 222
Office Hours:
Abhijeet Mohapatra
Email: abhijeet@stanford.edu
Office: Gates 226
Office Hours:



Comments and complaints to genesereth@stanford.edu.