Logic Programming

Introduction to
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!!!

Color Code
	Black - Lectures
	Blue - Readings
	Red - Assignments

Introduction (Week 1)
	Lecture 1 - Introduction
	Lecture 2 - Datasets
	Chapter 1 - Introduction
	Chapter 2 - Datasets
	Programs With Common Sense
	Logic Programming
	Introduction to Sierra
	Assignment 1.1 - Datasets in Sierra
	Assignment 1.2 - Nine Board Tic Tac Toe
	Assignment 1.3 - Triples
	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 - Examples
	Chapter 5 - Query Evaluation
	Chapter 6 - Query Optimization
	Assignment 2.1 - Queries in Sierra
	Assignment 2.2 - Narrow and Wide Relations
	Assignment 2.3 - Cryptarithmetic
	Assignment 2.4 - Analysis (Optional)

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
	Example - Peano Arithmetic
	Example - Tournament
	Assignment 3.1 - Views in Sierra
	Assignment 3.2 - Program Sheets
	Assignment 3.3 - Trees
	Assignment 3.4 - Satisfiability
	Assignment 3.5 - Zebra

Dynamics (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 12 - Dynamic Systems
	Chapter 13 - Database Management
	Chapter 14 - Worksheets
	Example - Connect Four
	Example - Hex
	Assignment 4.1 - Operations in Sierra
	Assignment 4.2 - Nine Board Tic Tac Toe
	Assignment 4.3 - Pelican Hunters
	Assignment 4.4 - Make Your Own Game
	Assignment 4.5 - Schedule

Conclusion (Weeks 8 - 10)
	Session 15 - Computational Law
	Session 16 - Commercial Applications
	Session 17 - Project Presenations
	Session 18 - Project Presenations
	Session 19 - Project Presenations
	Chapter 15 - Extensions
	General Game Playing
	The International General Game Playing Competition
	Computational Law - The Cop in the Backseat
	Project Presentation
	Project Report
	Assignment 5 - Project Evaluations