Logic Programming
 What
versus
How 		 
Lessons Epilog Sierra Examples Games Forum

The following syllabus lists all of the materials of the course. Note that there are interactive exercises at the ends of the chapters in the course textbook. (Click on the exercise numbers to go to the exercise pages.) These exercises are an essential part of the course, and you will benefit from tackling them. Some are easier than others, but you should attempt them all. Do the exercises! Do The Exercises!! DO THE EXERCISES!!!

Introduction (Week 1)
  Lecture 1 - Introduction
  Lecture 2 - Datasets
 
  Chapter 1 - Introduction
  Chapter 2 - Datasets
 
  Extra - Programs With Common Sense
  Extra - Logic Programming
  Extra - Introduction to Sierrabase
 
  Assignment 1.1 - Datasets in Sierrabase
  Assignment 1.2 - Movies
  Assignment 1.3 - Metadata
  Assignment 1.4 - Escher
 
  Project Teams
  Project Overview
  Project Examples


Queries (Weeks 2 and 3)
  Lecture 3 - Queries
  Lecture 4 - Query Examples
  Lecture 5 - Query Evaluation
  Lecture 6 - Query Optimization
 
  Chapter 3 - Queries
  Chapter 4- Query Examples
  Chapter 5 - Query Evaluation
  Chapter 6 - Query Optimization
 
  Assignment 2.1 - Queries in Sierra
  Assignment 2.2 - Narrow and Wide
  Assignment 2.3 - Analysis
  Assignment 2.4 - Arithmetic
  Assignment 2.5 - Cryptarithmetic


Logic Programs Part I (Weeks 4 and 5)
  Chapter 7 - View Definitions
  Chapter 8 - View Evaluation
  Chapter 9 - Simple Examples
  Chapter 10 - Lists, Sets, and Trees
 
  Lecture 7 - View Definitions
  Lecture 8 - View Evaluation
  Lecture 9 - Simple Examples
  Lecture 10 - Lists, Sets, and Trees
 
  Extra - Circuits
  Extra - Peano Arithmetic
  Extra - Tournament
 
  Assignment 3.1 - Views in Sierra
  Assignment 3.2 - Chess
  Assignment 3.3 - Combinatorics
  Assignment 3.4 - Satisfiability
  Assignment 3.5 - Zebra


Logic Programs Part II (Weeks 6 and 7)
  Chapter 11 - Functions (forthcoming)
  Chapter 12 - Operations
 
  Lecture 11 - Functions
  Lecture 12 - Operations
  Lecture 13 - Applications
  Lecture 14 - Worksheets
 
  Assignment 4.1 - Operations in Sierra
  Assignment 4.2 - Nine Board Tic Tac Toe
  Assignment 4.3 - Pelican Hunters
  Assignment 4.4 - Program Sheets
  Assignment 4.5 - Schedule


Advanced Topics (Weeks 8 and 9)
  Lecture 15 - Incomplete Data (Manav Kant)
  Lecture 16 - Goals and Constraints
  Lecture 17 - Advanced Logic Programming (Vinay Chaudhri)
  Lecture 18 - Project Examples (Tristan Krueger)
 
  Project Presentation


Conclusion (Week 10)
  Session 19 - No class - Video Presentations
  Session 20 - No class - Video Presentations
 
  Project Evaluations
  Project Report


Feedback