
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 238 articles
[sw04631]
 encode the constraints of a problem as a logic program such that the answer sets...

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

Prolog
 Referenced in 69 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 34 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 27 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 47 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...

GASP
 Referenced in 13 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...

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...

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...

WASP
 Referenced in 40 articles
[sw09565]
 constraint learning. This paper introduces WASP, an ASP solver handling disjunctive logic programs under ... cope with ASP programs. Among them are restarts, conflictdriven constraint learning and backjumping. Moreover...

TCHR
 Referenced in 4 articles
[sw01345]
 framework for tabled CLP. Tabled Constraint Logic Programming is a powerful execution mechanism for dealing ... with constraint logic programming without worrying about fixpoint computation. Various applications, e.g. in the fields ... highlevel framework for tabled constraint logic programming. It integrates in a lightweight manner ... highlevel language for constraint solvers, with tabled logic programming. The framework is easily instantiated...

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...