Advanced Logical and Functional Programming

1. Lecture 1: Programming paradigms. Introduction to Logic programming (LP).
   Labwork material: Examples illustrated after Section 4.2 in Apt-LP.pdf
2. Lecture 2: Logic Programming in Prolog.
3. Lecture 3: Logic Programming. Search strategies. Applications of the cut operator (!).
   • Prolog mini-project: searching objects in an infinite space: Project description, template files.
4. Lecture 4: Recursive thinking in logic programming.
5. Lectures 5-6 Functional Programming. Main features. The Racket language.
   
   • Labwork 2
6. Lecture 7: Functional programming principles. Recursion, tail recursion. Bottom-up and top-down transformations
7. Lecture 8: ....
• Racket mini-project: Programming with functionals. (game2048.rkt)
8. Lecture 9: Delayed evaluation. Programming with streams
• Labwork + extra material (LW5-6.rkt)
9. Lecture 10: Functional programming with Haskell -- part 1.
10. Lecture 11: Functional programming with Haskell -- part 2.
    • Labwork

Summary:

Review problems: