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


Views (Weeks 4 and 5)
  Lecture 7 - View Definitions
  Lecture 8 - View Evaluation
  Lecture 9 - Simple Examples
  Lecture 10 - Lists, Sets, and Trees
 
  Chapter 7 - View Definitions
  Chapter 8 - View Evaluation
  Chapter 9 - Simple Examples
  Chapter 10 - Lists, Sets, and Trees
 
  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
  Project Teams


Operations (Weeks 6 and 7)
  Lecture 11 - Operation Definitions
  Lecture 12 - Model Management
  Lecture 13 - Reactive Worksheets
  Lecture 14 - Semantic Worksheets
 
  Chapter 11 - Operation Definitions
  Chapter 13 - Database Management
  Chapter 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


Applications (Weeks 8 and 9)
  Lecture 15 - Constraint Satisfaction (Preston Carlson)
  Lecture 16 - Program Synthesis (Preston Carlson)
  Lecture 17 - Project Examples (Past students)
  Lecture 18 - Advanced Logic Programming (Vinay Chaudhri)


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


Feedback