Logic Programming

What
versus
How

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
	Lecture 1 - Introduction
	Lecture 2 - Datasets

	Chapter 1 - Introduction
	Chapter 2 - Datasets

	Extra - Programs With Common Sense
	Extra - Logic Programming
	Extra - Introduction to Sierrabase

	Challenge 1.1 - Datasets in Sierra
	Challenge 1.2 - Movies
	Challenge 1.3 - Metadata
	Challenge 1.4 - Escher

Queries
	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

	Challenge 2.1 - Queries in Sierra
	Challenge 2.2 - Narrow and Wide
	Challenge 2.3 - Analysis
	Challenge 2.4 - Arithmetic
	Challenge 2.5 - Cryptarithmetic

Views
	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

	Challenge 3.1 - Views in Sierra
	Challenge 3.2 - Chess
	Challenge 3.3 - Combinatorics
	Challenge 3.4 - Satisfiability
	Challenge 3.5 - Zebra

Operations
	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

	Challenge 4.1 - Operations in Sierra
	Challenge 4.2 - Nine Board Tic Tac Toe
	Challenge 4.3 - Pelican Hunters
	Challenge 4.4 - Program Sheets
	Challenge 4.5 - Schedule

Applications
	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)

Feedback