Results 251 to 260 of about 1,803,631 (274)

An algebraic perspective of constraint logic programming

Journal of Logic and Computation, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi   +2 more
openaire   +3 more sources

Constraint logic programming languages

Communications of the ACM, 1990
Constraint Logic Programming (CLP) is an extension of Logic Programming aimed at replacing the pattern matching mechanism of unification, as used in Prolog, by a more general operation called constraint satisfaction. This aritcle provides a panoramic view of the recent work done in designing and implementing CLP languages. It also presents a summary of
openaire   +1 more source

Induction of Constraint Logic Programs

1996
Inductive Logic Programming is mainly concerned with the problem of learning concept definitions from positive and negative examples of these concepts and background knowledge. Because of complexity problems, the underlying first order language is often restricted to variables, predicates and constants.
Lionel Martin, Christel Vrain
openaire   +2 more sources

The semantics of constraint logic programs

J. Log. Program., 1998
Summary: The Constraint Logic Programming (CLP) Scheme was introduced by Jaffar and Lassez. The scheme gave a formal framework, based on constraints, for the basic operational, logical and algebraic semantics of an extended class of logic programs. This paper presents for the first time the semantic foundations of CLP in a self-contained and complete ...
Jaffar, J., Maher, M., Marriott, K., Stuckey, P.   +3 more
openaire   +3 more sources

Temporal logic and annotated constraint logic programming

1995
We introduce a family of logic programming languages for representing and reasoning about time. The family is conceptually simple while covering substantial parts of temporal logic. Given a logic in our framework, there is a systematic way to make it executable as a constraint logic program.
openaire   +1 more source

Reasoning on Constraints in Constraint Logic Programming

1997
Evelina Lamma, Michela Milano, Paola Mello   +2 more
openaire   +2 more sources

Flexible access control policy specification with constraint logic programming

ACM Transactions on Information and System Security, 2003
Peter Stuckey, Steve Barker, Stuckeypeter J   +2 more
exaly  

A System for Tabled Constraint Logic Programming

Lecture Notes in Computer Science, 2000
David S Warren
exaly  

Applications of constraint logic programming

1995
openaire   +3 more sources

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems

Journal of Experimental and Theoretical Artificial Intelligence, 2009
Andrea Formisano, Enrico Pontelli, Agostino Dovier   +2 more
exaly