Implementing Equational Constraints in a Functional Language

Details Implementing Equational Constraints in a Functional Language Implementing Equational Constraints in a Functional Language

2011-08-29

arxiv.org/abs/1108.5609v1

Computer Science

Programming Languages

To appear in the Proceedings of the 25th Workshop on Logic Programming (WLP 2011)

Scientific paper

KiCS2 is a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. The implementation is based on the idea to represent the search space as a data structure and logic variables as operations that generate their values. This has the advantage that one can apply various, and in particular, complete search strategies to compute solutions. However, the generation of all values for logic variables might be inefficient for applications that exploit constraints on partially known values. To overcome this drawback, we propose new techniques to implement equational constraints in this framework. In particular, we show how unification modulo function evaluation and functional patterns can be added without sacrificing the efficiency of the kernel implementation.

Affiliated with

Also associated with

No associations

Rating

Implementing Equational Constraints in a Functional Language does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Implementing Equational Constraints in a Functional Language, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Implementing Equational Constraints in a Functional Language will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-126614