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 and Transitions
  Chapter 3 - Relational Queries
  Chapter 4 - Query Evaluation
  Chapter 5 - Functional Queries
  Chapter 6 - Transitions
 
  Lecture 3 - Relational Queries
  Lecture 4 - Query Evaluation
  Lecture 5 - Functional Queries
  Lecture 6 - Transitions
 
  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


Logic Programs
  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 - 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


  Chapter 11 - Functions (forthcoming)
  Chapter 12 - Operations
  Chapter 13 - Applications (forthcoming)
  Chapter 14 - Worksheets (forthcoming)
 
  Lecture 11 - Functions
  Lecture 12 - Operations
  Lecture 13 - Applications
  Lecture 14 - Worksheets
 
  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 - Incomplete Data (Manav Kant)
  Lecture 16 - Goals and Constraints
  Lecture 17 - Advanced Logic Programming (Vinay Chaudhri)