
ELAN
 Referenced in 108 articles
[sw02179]
 design of theorem provers, logic programming languages, constraints solvers and decision procedures and to offer ... design of theorem provers, logic programming languages, constraints solvers and decision procedures and to offer ... studying their combination. ELAN takes from functional programming the concept of abstract data types ... known paradigm of rewriting provides both the logical framework in which deduction systems...

Smodels
 Referenced in 236 articles
[sw04631]
 encode the constraints of a problem as a logic program such that the answer sets...

CHIP
 Referenced in 77 articles
[sw03450]
 cuttingstock problem with the constraint logic programming language CHIP...

Prolog
 Referenced in 67 articles
[sw06518]
 Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does ... efficient constraint solver over Finite Domains (FD). This opens contraint logic programming to the user ... combining the power of constraint programming to the declarativity of logic programming...

Elf
 Referenced in 43 articles
[sw21361]
 MetaLanguage. Elf is a constraint logic programming language based on the LF Logical Framework...

SALSA
 Referenced in 30 articles
[sw02661]
 Constraint Programming is recognized as an efficient technique for solving hard combinatorial optimization problems. However ... local search, yielding hybrid algorithms with constraints. Such combinations lack a language supporting an elegant ... retaining the original declarativity of Constraint Logic Programming. We propose a language, SALSA, dedicated...

Clingcon
 Referenced in 33 articles
[sw09892]
 answer set solver for (extended) constraint normal logic programs. It combines the highlevel modeling ... capacities of Answer Set Programming (ASP) with constraint solving. Constraints over nonlinear finite integers ... used in the logic programs. The primary clingcon algorithm adopts stateoftheart techniques...

ARMC
 Referenced in 26 articles
[sw04949]
 characteristics lie in the way it applies logical reasoning to deal with abstraction ... constraintbased programming language may lead to an elegant and concise implementation of a practical ... Using a Prolog system together with Constraint Logic Programming extensions as the implementation platform...

Ciao
 Referenced in 46 articles
[sw12088]
 generalpurpose programming language which supports logic, constraint, functional, higherorder, and objectoriented programming...

cc(FD)
 Referenced in 17 articles
[sw21237]
 framework [33], an extension of the Constraint Logic Programming (CLP) scheme [21]. Its constraint solver...

ATGen
 Referenced in 11 articles
[sw07275]
 ATGen: automatic test data generation using constraint logic programming and symbolic execution The verification ... automatic test data generator based on constraint logic programming and symbolic execution. After reviewing ... symbolic execution and that uses constraint logic programming, is then discussed...

SUNNY
 Referenced in 11 articles
[sw31800]
 such as Answer Set Programming and Constraint Logic Programming...

Helios
 Referenced in 11 articles
[sw01440]
 statements are compiled to Newton, a constraint logic programming language using constraint satisfaction and interval...

CSProlog
 Referenced in 7 articles
[sw00171]
 generalized unification based constraint solver Constraint logic programming (CLP) is a promising extension of standard ... PROLOG. In the article a new constraint logic programming language constraint solver PROLOG (CSPROLOG ... delay mechanism of the standard logic programming language is discussed. Capabilities of CSPROLOG...

GASP
 Referenced in 9 articles
[sw07096]
 from the nonground version of the program. Grounding is lazily performed during the computation ... implementation has been realized using Constraint Logic Programming over finite domains...

CLPGUI
 Referenced in 5 articles
[sw14834]
 generic graphical user interface for constraint logic programming. CLPGUI is a generic graphical user interface ... visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed ... which is generic w.r.t. both the constraint logic programming system and the visualizers, is addressed ... based on annotations in the CLP program. Arbitrary constraints and goals can be posted incrementally...

CLPSB
 Referenced in 7 articles
[sw00132]
 evaluation of B formal specifications using Constraint Logic Programming with sets. This approach is used ... CLPSB, is described in terms of constraint domains, consistency verification and constraint propagation...

CLP(Flex)
 Referenced in 6 articles
[sw28534]
 Flex): Constraint Logic Programming Applied to XML Processing. In this paper we present an implementation ... constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms...

Newton
 Referenced in 6 articles
[sw21236]
 Newton, a constraint programming language over nonlinear real constraints. Newton originates from an effort ... reconcile the declarative nature of constraint logic programming (CLP) languages over intervals with advanced interval...

MuTACLP
 Referenced in 4 articles
[sw01597]
 Geographical Information System (GIS) technology and constraint logic programming in order to supply the user ... uniform way, and the features of constraint logic programming, such as recursion and constraint handling...