• 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]
  • cutting-stock 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]
  • 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 33 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 46 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...
  • 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...
  • GASP

  • Referenced in 9 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...
  • 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...
  • 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...
  • 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...