Introduction to
Logic Programming
What
versus
How
 

Lessons References Epilog Sierra 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)
  Lecture 1 - Introduction
  Lecture 2 - Datasets
 
  Reading - Introduction
  Reading - Datasets
  Reading - Programs With Common Sense
  Reading - Logic Programming
  Reading - Introduction to Sierra
 
  Assignment - Datasets in Sierra
  Assignment - Teams
  Assignment - Movies
  Assignment - Metadata
  Assignment - Escher
 
  Project Overview
  Project Examples
 
Queries (Weeks 2 and 3)
  Lecture 3 - Queries
  Lecture 4 - Query Examples
  Lecture 5 - Query Evaluation
  Lecture 6 - Query Optimization
 
  Reading - Queries
  Reading - Query Examples
  Reading - Query Evaluation
  Reading - Query Optimization
 
  Assignment - Queries in Sierra
  Assignment - Narrow and Wide
  Assignment - Analysis
  Assignment - Arithmetic
  Assignment - Cryptarithmetic
 
Views (Weeks 4 and 5)
  Lecture 7 - View Definitions
  Lecture 8 - View Evaluation
  Lecture 9 - Simple Examples
  Lecture 10 - Lists, Sets, and Trees
 
  Reading - View Definitions
  Reading - View Evaluation
  Reading - Simple Examples
  Reading - Lists, Sets, and Trees
  Example - Peano Arithmetic
  Example - Tournament
 
  Assignment - Views in Sierra
  Assignment - Chess
  Assignment - Combinatorics
  Assignment - Satisfiability
  Assignment - Zebra
 
Operations (Weeks 6 and 7)
  Lecture 11 - Operation Definitions
  Lecture 12 - Model Management
  Lecture 13 - Reactive Worksheets
  Lecture 14 - Semantic Worksheets
 
  Reading - Operation Definitions
  Reading - Database Management
  Reading - Worksheets
  Example - Connect Four
 
  Assignment - Operations in Sierra
  Assignment - Nine Board Tic Tac Toe
  Assignment - Pelican Hunters
  Assignment - Program Sheets
  Assignment - Schedule
 
Applications (Weeks 8 and 9)
  Lecture 15 - Computational Law
  Lecture 16 - Computable Contracts
  Lecture 17 - Past Projects
  Lecture 18 - Advanced Logic Programming
 
  Reading - The Legacy of Hammurabi
  Reading - Symbium
 
Conclusion (Week 10)
  Session 19 - Project Presentations
  Session 20 - Project Presentations
 
  Project Evaluations
  Project Report





Feedback