Introduction to
Logic Programming
What
versus
How
 

Lessons Notes Examples Readings Epilog


Preliminaries

 Preface
 Background - Sets, Functions, Relations
 Chapter 1 - Introduction - Slides
 Chapter 2 - Datasets - Slides
 Project
 

Queries and Updates

 Chapter 3 - Queries - Slides
 Chapter 4 - Updates - Slides
 Chapter 5 - Query Evaluation - Slides
 Chapter 6 - Query Optimization - Slides
 Assignment 1
 

View Definitions

 Chapter 7 - View Definitions - Slides
 Chapter 8 - Query Evaluation - Slides
 Chapter 9 - Simple Examples - Slides
 Chapter 10 - Lists, Sets, Trees - Slides
 Chapter 11 - Dynamic Systems - Slides
 Chapter 12 - Metaknowledge - Slides
 Assignment 2
 

Operation Definitions

 Chapter 13 - Operation Definitions - Slides
 Chapter 14 - Dynamic Logic Programs - Slides
 Chapter 15 - Database Management - Slides
 Chapter 16 - Interactive Worksheets - Slides
 Assignment 3
 

Conclusion

 Chapter 17 - Variations - Slides