- Intoduction
- First Steps
- Types and Classes
- Defining Functions ex 4.1, ex 4.2, ex 4.3, ex 4.4
- List Comprehensions ex 5.1, ex 5.2, ex 5.3
- Recursive Functions chapter 6
- Higher Order Functions chapter 7 reduce function
- Declaring Types and Classes chapter 8 tautology checker
- Lazy Evaluation chapter 12 Lecture by Prof. Hutton
- The countdown problem countdown1 countdown2 countdown3 Lecture by Prof. Hutton countdown1_by_hutton countdown2_by_hutton
- Interactive programming monads1 monads2 monads3 monads4 hangman nim Lecture by Prof. Hutton
- Midterm
- Introduction to Logic Programming and Prolog
- Unification, proof search
- Recursive definitions in Prolog
- Lists
- Arithmetic
- More lists
- Terms, strings, operators
- Cuts and Negation
- Database Manipulation
- Definite clause grammars
- More definite clause grammars
- Modularity
- Final Exam
