Introduction to Logic Programming WhatversusHow

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