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

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

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

Prolog
 Referenced in 70 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 44 articles
[sw21361]
 MetaLanguage. Elf is a constraint logic programming language based on the LF Logical Framework...

Clingcon
 Referenced in 39 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...

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

ARMC
 Referenced in 28 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 52 articles
[sw12088]
 generalpurpose programming language which supports logic, constraint, functional, higherorder, and objectoriented programming...

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

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

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

VeriMAP
 Referenced in 11 articles
[sw22866]
 respect to the languages in which the program and the property to be verified ... been developed in the fields of constraint logic programming and SMT solving...

WASP
 Referenced in 56 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 5 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...

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

CLP(Flex)
 Referenced in 7 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...