CS 568 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.