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