Logic Programming
 What
versus
How 		 
Lessons Epilog Sierra Examples Games

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
  Chapter 1 - Introduction
  Chapter 2 - Datasets
 
  Lecture 1 - Introduction
  Lecture 2 - Datasets
 
  Extra - Programs With Common Sense
  Extra - Logic Programming
  Extra - Sierrabase
 
  Challenge 1.1 - Movies
  Challenge 1.2 - Metadata
  Challenge 1.3 - Escher
 
  Project Examples


Queries
  Chapter 3 - Queries
  Chapter 4 - Examples
  Chapter 5 - Evaluation
  Chapter 6 - Optimization
 
  Lecture 3 - Queries
  Lecture 4 - Examples
  Lecture 5 - Evaluation
  Lecture 6 - Optimization
 
  Extra - Matching
  Extra - Top-Down Query Evaluation
  Extra - Epilog Vocabulary
  Extra - Sierrabase
 
  Challenge 2.1 - Arithmetic
  Challenge 2.2 - Cryptarithmetic
  Challenge 2.3 - Popularity
  Challenge 2.4 - Narrow and Wide


Views
  Chapter 7 - Views
  Chapter 8 - Evaluation
  Chapter 9 - Examples
  Chapter 10 - Lists, Sets, and Trees
 
  Lecture 7 - Views
  Lecture 8 - Evaluation
  Lecture 9 - Examples
  Lecture 10 - Lists, Sets, and Trees
 
  Extra - Unification
  Extra - Top-Down View Evaluation
  Extra - Circuits
  Extra - Peano Arithmetic
  Extra - Tournament
  Extra - Sierralite
 
  Challenge 3.1 - Chess
  Challenge 3.2 - Permutations
  Challenge 3.3 - Satisfiability
  Challenge 3.4 - Zebra


Functions and Operations
  Chapter 11 - Functions
  Chapter 12 - Functions and Relations
  Chapter 13 - Operations
  Chapter 14 - Database Management
 
  Lecture 11 - Functions
  Lecture 12 - Functions and Relations
  Lecture 13 - Operations
  Lecture 14 - Database Management
 
  Extra - Sierralite
  Extra - EpilogJS
 
  Challenge 4.1 - Algebra
  Challenge 4.2 - Nine Board Tic Tac Toe
  Challenge 4.3 - Pelican Hunters
  Challenge 4.4 - Program Sheets


Advanced Logic Programming
  Chapter 15 - Constraints
  Chapter 16 - Goals
  Chapter 17 - Logic Programming Variants
 
  Lecture 15 - Constraints
  Lecture 16 - Goals
  Lecture 17 - Advanced Logic Programming (Vinay Chaudhri)