
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 ... main originality of the language is to provide strategy constructors to specify whether a function...

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

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

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

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

Helios
 Referenced in 11 articles
[sw01440]
 first (to our knowledge) modeling language for global optimization using in terval analysis. Helios makes ... guaranteed to find all isolated solutions in constraintsolving problems and all global optima ... compiled to Newton, a constraint logic programming language using constraint satisfaction and interval anal ysis...

CSProlog
 Referenced in 7 articles
[sw00171]
 article a new constraint logic programming language constraint solver PROLOG (CSPROLOG) is presented ... delay mechanism of the standard logic programming language is discussed. Capabilities of CSPROLOG...

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

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

HYPROLOG
 Referenced in 14 articles
[sw02743]
 HYPROLOG: A new logic programming language with assumptions and abduction. We present HYPROLOG, a novel ... Constraint Handling Rules (CHR) for integrity constraints. Assumptions are a mechanism inspired by linear logic...

cc(FD)
 Referenced in 17 articles
[sw21237]
 Constraint Logic Programming (CLP) scheme [21]. Its constraint solver includes (nonlinear) arithmetic constraints over natural ... implication, in conjunction with new constraint operations such as constraint entailment and generalization. These combinators ... operational expressiveness, extensibility, and flexibility of CLP languages and allow issues such as the definition...

HIP
 Referenced in 23 articles
[sw09786]
 separation logic based automated verification system for a simple imperative language, able to modularly verify ... specifications of heapmanipulating programs. The specification language allows user defined inductive predicates used ... both heap constraints and various pure constraints like arithmetic constraints, bag constraints. Based on given ... will construct a set of separation logic proof obligations in the form of formula implications...

MuTACLP
 Referenced in 4 articles
[sw01597]
 MuTACLP: A language for declarative GIS analysis. This paper proposes an integration between Geographical Information ... constraint logic programming in order to supply the user with a declarative language that supports ... improves GIS analysis. We present the language MUTACLP, where spatiotemporal and thematic information ... uniform way, and the features of constraint logic programming, such as recursion and constraint handling...

TCHR
 Referenced in 4 articles
[sw01345]
 tabled constraint logic programming. It integrates in a lightweight manner Constraint Handling Rules ... highlevel language for constraint solvers, with tabled logic programming. The framework is easily instantiated...

YakYak
 Referenced in 2 articles
[sw07540]
 YakYak: Parsing with logical side constraints Programming language syntax is often described by means ... free grammar, which is restricted by constraints programmed into the action code associated with productions ... with firstorder logic for specifying constraints that are regular tree languages. Concise formulas about ... parse tree replace explicit programming, and they are turned into canonical attribute grammars through tree...

miniKanren
 Referenced in 6 articles
[sw20082]
 logic programming. miniKanren has been implemented in a growing number of host languages, including Scheme ... languages. miniKanren is designed to be easily modified and extended; extensions include Constraint Logic Programming...

LMNtal
 Referenced in 9 articles
[sw07312]
 hierarchical logic programming language. LMNtal (pronounced “elemental”) is a simple language model based on hierarchical ... graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. LMNtal ... constraintbased concurrency and Constraint Handling Rules, the two notable extensions to concurrent logic programming ... LMNtal is intended to be a substrate language of various computational models, especially those addressing...

PROTOSL
 Referenced in 7 articles
[sw02876]
 language based on logic programming that integrates a variety of concepts for programming large knowledge ... external relational databases, and finite domain constraints. The type concept covers user defined sorts, subsort ... modification is fully embedded in the programming language PROTOSL and can be programmed transparent...

Rules2CP
 Referenced in 5 articles
[sw06255]
 based modeling language for constraint programming. It aims at making constraint programming technology easier ... programmers, by modeling combinatorial optimization problems with logical rules and elementary data structures ... specific problems. The Packing Knowledge Modeling Language PKML is such a library developed ... constraints and specific industrial requirements. The Rules2CP compiler transforms Rules2CP statements into constraint programs...

Giotto
 Referenced in 16 articles
[sw08971]
 Giotto: A TimeTriggered Language for Embedded Programming. Giotto provides an abstract programmer’s model ... embedded control systems with hard realtime constraints. A typical control application consists of periodic ... software tasks together with a mode switching logic for enabling and disabling tasks. Giotto specifies...