outline  & requirements

An introduction to functional and logic programming. Topics include: semantics of functional programming, assignment-free programming, the meta-circular interpreter, recursive functions, Prolog, backtracking, cutting, negation.

Prerequisite: COMP 2402 or equivalent.

Introduction to programming paradigms

Introduction to Scheme

Building abstractions

With procedures

With data

Modularity in Object State

Environments

Metalinguistic abstractions

Introduction to Logic Programming

Programming with Prolog

Recursive Logic Programming

The Prolog Cut


Final: 55%

Will consist of multi-choice, definitions, and programming

Midterm: 15%

Will consist of multi-choice, definitions, and programming

Assignments: 30%

© Franz Oppacher 2014