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.
Slash Listed Courses
Also offered as
CS 568 and may be taken only once for credit.
Prerequisite
CS 558 Programming Languages.