WHAT IS CONSTRAINT LOGIC PROGRAMMING AND WHAT ARE ITS FEATURES?
by admin on May.14, 2012, under Bio Informatics
Constraint proof programming (CLP), a form of imprisonment programming, is placed during a intersection of proof programming, synthetic comprehension as well as optimization. A imprisonment proof module contains constraints in a organisation of clauses. Constraint proof programming has proven to be a successful process in most areas of program as well as web growth services together with prolongation planning, bio informatics, apparatus allocation, ride etc.
CLP is famous as a great process of mending a stream unfolding of programming languages. It was introduced in 1987 by Lassez as well as Jaffer, as well as it became a absolute fanciful concept. Its initial focus was a growth of programming languages formed upon Prolog. The CLP process shares a little similarity with normal Operations Research (OR) approach.
Features of Constraint Logic Programming
Constraint proof programming uses glorious mathematical methods. The intrinsic, built-in components of CLP languages as well as collection yield valid as well as glorious algorithms.
Since imprisonment proof programming systems yield opposite imprisonment systems, a growth of modular hybrid models is simply done possible.
CLP provides coherence in a programming denunciation used. This allows a programmers in program as well as web site growth services to compromise equations dynamically.
The Constraint Logic Programming Paradigm:
The CLP process is identical to a OR approach. It solves a complaint in a step-by-step way:
Analyzing a complaint as well as bargain tools of a complaint Ascertaining a relations in between a parts, which can assistance in elucidate a problem. Stating such relations as equations. Arranging these equations as well as elucidate them to furnish a resolution
The Importance of ECLiPSe
ECLiPSe is a most appropriate e.g. of a imprisonment proof programming complement which implements a programming language. It was grown during a European Computer-Industry Research Centre (ECRC) in Munich in 1995. In 2006, it was expelled as open source program underneath Cisco. Precisely, ECLiPSe is an open source program complement used by program & web growth use for a cost-effective growth of imprisonment programming applications. The web growth services India unfolding is familiar with a functions of this system. It develops as well as deploys imprisonment programming applications in a areas of scheduling, planning, ride as well as apparatus allocation.