CPSC 370
Functional and Logic Programming

Content

Functional and Logic Programming is a third-year course that introduces students to languages outside of the imperative and/or OOP idioms.

When I have taught this course, I have typically introduced one or two functional languages and Prolog as the logic programming language. The functional languages usually include Scheme (Racket), and a statically-typed language; originally Standard ML of New Jersey, more recently Haskell concepts that I cover in this course include:

• tail-call optimisation
• accumulator arguments
• Currying
• static versus dynamic typing
• Prolog unification (and the occurs check)
• persistent versus ephemeral data structures
• pure versus impure functional programming
• environments and closures
• cuts

Language(s) of Instructions