Functional Programming with CONSTRAINTS

The integration of constraint systems into logic programming languages allows for solving of complex combinatorial problems, since search can be pruned by the constraint solver. Work in combining functional and logic programming has shown that the use of functional expressions together with constraints would lead to even further pruning of the search tree.

Based on this observation, the goal of the project is the semantically well-founded integration of functional, logic and constraint-based programming, the implementation of a prototype language, the use and validation of the language in application studies and finally the development of a programming methodology.

The project is sponsored by the German Research Institute.

Contact person: Dr. Thom Frühwirth.

list of all projects

Institute

University

(16.12.1996)