Search Results - constraint logic programming languages

A new probabilistic constraint logic programming language based on a generalised distribution semantics by Michels, Steffen, Hommersom, Arjen, Lucas, Peter J.F., Velikova, Marina

“… We tackle this problem by developing a generalised distribution semantics for a new probabilistic constraint logic programming language…”
Get full text

Relating constraint answer set programming languages and algorithms by Lierler, Yuliya

“…Recently a logic programming language AC was proposed by Mellarkod et al. [1] to integrate answer set programming and constraint logic programming…”
Get full text

A constraint logic programming language keyed CLP and its applications to decision making problems in OR/MS by Hiraishi, Kunihiko

“… In this research, a new constraint logic programming language Keyed CLP is developed. Keyed CLP has some characteristic features for solving problems in OR/MS…”
Get full text

On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's “A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains” by Wallace, Mark, Schimpf, Joachim, Shen, Kish, Harvey, Warwick

Get full text

The Inductive Constraint Programming Loop by BESSIERE, Christian, de Raedt, Luc, Guns, Tias, Kotthoff, Lars, Nanni, Mirco, Nijssen, Siegfried, O'Sullivan, Barry, Paparrizou, Anastasia, Pedreschi, Dino, Simonis, Helmut

“…Constraint programming is used for a variety of real-world optimization problems, such as planning, scheduling and resource allocation problems…”
Get full text

Alignment Completeness for Relational Hoare Logics by Nagasamudram, Ramana, Naumann, David A.

“… for richer programming languages and alignment patterns…”
Get full text

Observational equivalences for linear logic concurrent constraint languages by Haemmerle, Remy

“…Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC…”
Get full text

No-Rainbow Problem and the Surjective Constraint Satisfaction Problem by Zhuk, Dmitriy

“… Additionally, we disprove the conjecture saying that the SCSP over a constraint language Γ and the CSP over the same language with constants have the same computational complexity up to poly-time reductions…”
Get full text

A compiler and virtual machine for constraint-logic object-oriented programming with Muli by Dageförde, Jan C., Kuchen, Herbert

“…). As a constraint-logic OO language, it facilitates an integrated implementation of applications that use aspects from both constraint-logic and object-oriented programming, thus eliminating the need…”
Get full text

An execution scheme for interactive problem-solving in concurrent constraint logic programming languages by Lee, Jimmy H.M., Leung, Ho-fung

“… This paper presents an implementation scheme IQ of incremental queries in Constraint Pandora, which defines a class of non-deterministic concurrent constraint logic programming languages…”
Get full text

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses by Burn, Toby Cathcart, Ong, Luke, Ramsay, Steven, Wagner, Dominik

“… The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types…”
Get full text

Automatic spatial layout planning system using a second-generation constraint logic programming language by Honda, Kazuyoshi, Mizoguchi, Fumio

“… Our new method represents the rectangles as inconsistent sets of linear constraints. We then select the consistent sets from them by using a second-generation Constraint Logic Programming (CLP…”
Get full text

COOL: A Constraint Object-Oriented Logic Programming Language and its Neural-Symbolic Compilation System by Han, Jipeng

“… To overcome these issues, we introduce the COOL (Constraint Object-Oriented Logic) programming language, an innovative approach that seamlessly combines logical reasoning with neural network technologies…”
Get full text

Fast Parallel Equivalence Relations in a Datalog Compiler by Nappa, Patrick, Zhao, David, Subotic, Pavle, Scholz, Bernhard

“…Modern parallelizing Datalog compilers are employed in industrial applications such as networking and static program analysis. These applications regularly…”
Get full text

Subexponential concurrent constraint programming by Olarte, Carlos, Pimentel, Elaine, Nigam, Vivek

“…In previous works we have shown that linear logic with subexponentials (SELL), a refinement of linear logic, can be used to specify emergent features of concurrent constraint programming (CCP…”
Get full text

A constraint logic programming language for combinatorial optimization and linear programming by Lim, P., Epstein, M.L., Freeman, E.H.

“…The authors report on the language definition and a prototype implementation of the constrained logic programming shell (Mathematica), or CLPS(M…”
Get full text

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification by CRISTIÁ, MAXIMILIANO, ROSSI, GIANFRANCO

“… We do so by defining a type system and implementing a typechecker for $\{log\}$ (read ‘setlog’), a Constraint Logic Programming language and satisfiability solver based on set theory…”
Get full text

Constraint functional logic programming over finite domains by Fernandez, Antonio J, Hortala-Gonzalez, Teresa, Saenz-Perez, Fernando, Del Vado-Virseda, Rafael

“…$)) with a lazy functional logic programming language which seamlessly embodies finite domain ($\fd$) constraints. This proposal increases the expressiveness and power of constraint logic programming over finite domains…”
Get full text

An Automatically Verified Prototype of the Android Permissions System by Cristiá, Maximiliano, De Luca, Guido, Luna, Carlos

“…’)—a satisfiability solver and a constraint logic programming language— which is then used to automatically discharge most of the proofs performed in Coq…”
Get full text

Programming with partially specified aggregates in Java by Bergenti, F., Chiarabini, L., Rossi, G.

“… In conventional programming languages these data structures are usually specified by completely and precisely enumerating all their constituent elements. Conversely, in (constraint…”
Get full text