ECLiPSe - from LP to CLP

Details ECLiPSe - from LP to CLP ECLiPSe - from LP to CLP

2010-12-20

arxiv.org/abs/1012.4240v1

Computer Science

Programming Languages

To appear in Theory and Practice of Logic Programming (TPLP)

Scientific paper

ECLiPSe is a Prolog-based programming system, aimed at the development and deployment of constraint programming applications. It is also used for teaching most aspects of combinatorial problem solving, e.g. problem modelling, constraint programming, mathematical programming, and search techniques. It uses an extended Prolog as its high-level modelling and control language, complemented by several constraint solver libraries, interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments. This paper discusses language extensions, implementation aspects, components and tools that we consider relevant on the way from Logic Programming to Constraint Logic Programming.

Affiliated with

Also associated with

No associations

Rating

ECLiPSe - from LP to CLP 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 ECLiPSe - from LP to CLP, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and ECLiPSe - from LP to CLP will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-452900