with Rudolf Berghammer

  • WFLP ‘06: 15th Workshop on Functional and (Constraint) Logic Programming © Elsevier
  • pdf
  • bib

We show how the algebra of (finite, binary) relations and the features of the integrated functional logic programming language Curry can be employed to solve problems on relational structures (like orders, graphs, and Petri nets) in a very high-level declarative style. The functional features of Curry are used to implement relation algebra and the logic features of the language are combined with BDD-based solving of boolean constraints to obtain a fairly efficient implementation of a solver for relational specifications.