Our group tries to balance the theoretical and the implementation work. These are the systems currently available which have been developed by members of the group:

  • Toy: A constraint functional-logic program. Here a short overview of the language can be found.

  • Oops: An experimental prototype of functional-logic language with failure.