Suchergebnisse - 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” von Wallace, Mark, Schimpf, Joachim, Shen, Kish, Harvey, Warwick

Volltext

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

“… This paper proposes an evaluation of the adequacy of the constraint logic programming paradigm for natural language processing …”
Volltext

A constraint logic programming language for combinatorial optimization and linear programming von 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 …”
Volltext

An execution scheme for interactive problem-solving in concurrent constraint logic programming languages von 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 …”
Volltext

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

Volltext

A parallelization of the constraint logic programming language 2LP von 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 …”
Volltext

Integration of Linear Constraints with a Temporal Logic Programming Language von 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 …”
Volltext

First-order Logic as a Constraint Programming Language von 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 …”
Volltext

A constraint logic programming language keyed CLP and its applications to decision making problems in OR/MS von 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 …”
Volltext

Probabilistic Constraint Logic Programming. Formal Foundations of Quantitative and Statistical Inference in Constraint-Based Natural Language Processing von 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 …”
Volltext

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

“… At the same time, logic programming can also be achieved by solving constraints over these domains …”
Volltext

COOL: A Constraint Object-Oriented Logic Programming Language and its Neural-Symbolic Compilation System von 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 …”
Volltext

Automatic spatial layout planning system using a second-generation constraint logic programming language von 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 …”
Volltext

A new probabilistic constraint logic programming language based on a generalised distribution semantics von 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 …”
Volltext

A visual logic programming language based on sets and partitioning constraints von 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 …”
Volltext