CS 668 Functional Logic Programming

Introduction to functional logic programming. Foundations and basic principles of this paradigm will be explained in some depth and complemented by encoding practical problems in a functional logic language using a leading compiler/ interpreter. Focus on non-determinism and computations with incomplete information. Implementation techniques will be briefly discussed.

Credits

3

Slash Listed Courses

Also offered as CS 568 and may be taken only once for credit.

Prerequisite

CS 558 Programming Languages.