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(s): COMP 2402 or COMP 2002, or both of SYSC 2004 and SYSC 2100.Lectures three hours a week.
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(s): COMP 2402 or COMP 2002, or both of SYSC 2004 and SYSC 2100.Lectures three hours a week.