Intoduction First Stepsmonads4 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
