• 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]
  • cutting-stock problem with the constraint logic programming language CHIP...
  • Prolog

  • Referenced in 68 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]
  • Meta-Language. 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 36 articles [sw09892]
  • answer set solver for (extended) constraint normal logic programs. It combines the high-level modeling ... capacities of Answer Set Programming (ASP) with constraint solving. Constraints over non-linear finite integers ... used in the logic programs. The primary clingcon algorithm adopts state-of-the-art techniques...
  • ARMC

  • Referenced in 26 articles [sw04949]
  • characteristics lie in the way it applies logical reasoning to deal with abstraction ... constraint-based 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]
  • general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented 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...
  • GASP

  • Referenced in 11 articles [sw07096]
  • from the non-ground version of the program. Grounding is lazily performed during the computation ... implementation has been realized using Constraint Logic Programming over finite domains...
  • CS-Prolog

  • 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 (CS-PROLOG ... delay mechanism of the standard logic programming language is discussed. Capabilities of CS-PROLOG...
  • 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...
  • 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 ... high-level framework for tabled constraint logic programming. It integrates in a light-weight manner ... high-level language for constraint solvers, with tabled logic programming. The framework is easily instantiated...
  • CLPS-B

  • Referenced in 7 articles [sw00132]
  • evaluation of B formal specifications using Constraint Logic Programming with sets. This approach is used ... CLPS-B, 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...
  • WASP

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