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.