Introduction to
Logic Programming
What
versus
How
 

Lessons References Epilog Sierra Examples


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