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