Topics

• Introduction to Curry.

  Fundamental ideas of functional and functional/logic programming. Simple examples and problems. Using HUGS and PAKCS systems.

• Term Rewriting

  Terminology (term, position, substitution, redex); rewrite relation and its properties; constructor TRSs; orthogonal TRSs.

• Logic Variables and Narrowing

  Logic programming; residuation; narrowing; solving equations; programming with variables.

• Evaluation Strategies

  Termination; classic strategies; definitional trees; classes of constructor TRSs;

• Non-determinism

  Overlapping TRSs; choices; laziness; evaluation.

• Programming and patterns

  Programming and advanced programming in a functional logic language.

Contact: antoy@cs.pdx.edu
Last updated: Mon Jan 9 11:18:49 PST 2006