LOGISTICA-CFP: AN IMPLEMENTATION OF CONSTRAINT FUNCTIONAL PROGRAMMING

As an alternative to constraint logic programming (CLP), LOGISTICA-CFP implements constraint functional programming (CFP) by borrowing from the approach of SCREAMER and building on the nondeterministic functional programming language LOGISTICA. Although currently in the experimental stages, LOGISTICA-CFP demonstrates that a functional approach can be used to implement constraint programming in a manner that can be expected to have the same advantages over CLP as SCREAMER while avoiding the imperative interface to constraint reasoning, yet allowing easy extension of the reasoning mechanism and integration with other symbolic reasoning applications.