Search Results - D.3.2 [Programming Languages] Language Classifications — Constraint and logic languages

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

Constraint Logic Programming for Natural Language Processing by Blache, Philippe, Hathout, Nabil

“…This paper proposes an evaluation of the adequacy of the constraint logic programming paradigm for natural language processing…”
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

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

Natural Language Processing with (Tabled and Constraint) Logic Programming by Kifer, Michael, Liu, Yanhong Annie

Get full text

A parallelization of the constraint logic programming language 2LP by Atay, Coskun

“… It is a small, compact language with C-like syntax that has been designed to run on various parallel architectures and it is the first parallel implementation of a Constraint Logic Programming (CLP) language…”
Get full text

Integration of Linear Constraints with a Temporal Logic Programming Language by Qian Ma, Zhenhua Duan, Mengfei Yang

“…This paper investigates the integration of linear constraints with MSVL. To this end, we first define linear constraint statements and discuss related issues of the incorporation…”
Get full text

First-order Logic as a Constraint Programming Language by Apt, K R, Vermeulen, C F M

“…We provide a denotational semantics for first-order logic that captures the two-level view of the computation process typical for constraint 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

Probabilistic Constraint Logic Programming. Formal Foundations of Quantitative and Statistical Inference in Constraint-Based Natural Language Processing by Riezler, Stefan

“… The first approach, called quantitative constraint logic programming, is conceptualized in a clear logical framework, and presents a sound and complete system of quantitative inference for definite…”
Get full text

The unification of functional and logic languages-towards constraint functional programming by Darlington, J., Guo, Y.

“… At the same time, logic programming can also be achieved by solving constraints over these domains…”
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

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

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

A visual logic programming language based on sets and partitioning constraints by Spratt, L., Ambler, A.

“…: it is a visual language, it is a logic programming language, it relies on sets to organize data, and it supports partitioning constraints on the contents of sets…”
Get full text