Constraint Functional Logic Programming over Finite Domains

Details Constraint Functional Logic Programming over Finite Domains Constraint Functional Logic Programming over Finite Domains

2006-01-16

arxiv.org/abs/cs/0601071v1

Computer Science

Programming Languages

Accepted for publication in Theory and Practice of Logic programming (TPLP); 47 pages

Scientific paper

In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD)) with a lazy functional logic programming language which seamlessly embodies finite domain (FD) constraints. This proposal increases the expressiveness and power of constraint logic programming over finite domains (CLP(FD)) by combining functional and relational notation, curried expressions, higher-order functions, patterns, partial applications, non-determinism, lazy evaluation, logical variables, types, domain variables, constraint composition, and finite domain constraints. We describe the syntax of the language, its type discipline, and its declarative and operational semantics. We also describe TOY(FD), an implementation for CFLPFD(FD), and a comparison of our approach with respect to CLP(FD) from a programming point of view, showing the new features we introduce. And, finally, we show a performance analysis which demonstrates that our implementation is competitive with respect to existing CLP(FD) systems and that clearly outperforms the closer approach to CFLP(FD).

Affiliated with

Also associated with

No associations

Rating

Constraint Functional Logic Programming over Finite Domains 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 Constraint Functional Logic Programming over Finite Domains, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Constraint Functional Logic Programming over Finite Domains will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-523748