Portland-State-University 2024-2025 Bulletin

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

Prerequisite

CS 558 Programming Languages.
  • Up one level
  • 600