Logic Programming
Profile
Sign Out
  
Lessons Epilog Sierra Examples Games Forum

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 (Week 1)
  Chapter 1 - Introduction
  Chapter 2 - Datasets
 
  Lecture 1 - Introduction
  Lecture 2 - Datasets
 
  Extra - Programs With Common Sense
  Extra - Logic Programming
  Extra - Sierrabase
 
  Assignment 1.1 - Movies
  Assignment 1.2 - Metadata
  Assignment 1.3 - Escher
 
  Project Overview
  Project Examples


Queries and Transitions (Weeks 2 and 3)
  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 - Epilog Vocabulary
  Extra - Sierrabase
 
  Assignment 2.1 - Arithmetic
  Assignment 2.2 - Cryptarithmetic
  Assignment 2.3 - Popularity
  Assignment 2.4 - Narrow and Wide


Views (Weeks 4 and 5)
  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 - Circuits
  Extra - Peano Arithmetic
  Extra - Tournament
  Extra - Sierralite
 
  Assignment 3.1 - Chess
  Assignment 3.2 - Permutations
  Assignment 3.3 - Satisfiability
  Assignment 3.4 - Zebra


Functions and Operations (Weeks 6 and 7)
  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
 
  Assignment 4.1 - Algebra
  Assignment 4.2 - Nine Board Tic Tac Toe
  Assignment 4.3 - Pelican Hunters
  Assignment 4.4 - Schedule


Advanced Logic Programming (Weeks 8 and 9 and 10)
  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)
  Lecture 18 - Project Examples (Tristan Krueger)
  Session 19 - No class - Video Presentations
  Session 20 - No class - Video Presentations
 
  Project Presentation
  Project Evaluations
  Project Report


Feedback