Results 21 to 30 of about 3,012,120 (253)
Economic modelling using constraint logic programming [PDF]
, 1996 This paper investigates the use of constraint logic programming (CLP) in economic modelling through the design and implementation of two economic models.
Gilbert, D, Donovan, N
core +6 more sources
Program transformation for development, verification, and synthesis of programs [PDF]
, 2011 This paper briefly describes the use of the program transformation methodology for the development of correct and efficient programs. In particular, we will refer to the case of constraint logic programs and, through some examples, we will show how by ...
Senni, V +8 more
core +1 more source
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems, 2000 In this paper we present a study of the problem of handling constraints made by conjunctions of positive and negative literals based on the predicate symbols =, ∈,∪ and || (i.e., disjointness of two sets) in a (hybrid) universe of finite sets .
DOVIER, Agostino +3 more
openaire +4 more sources
On termination of constraint logic programs [PDF]
, 1995 This paper introduces a necessary and sufficient condition for termination of constraint logic programs. The method is based on assigning a dataflow graph to a program, whose nodes are the program points and whose arcs are abstractions of the rules of a transition system, describing the operational behaviour of constraint logic programs.
COLUSSI, LIVIO +2 more
openaire +2 more sources
Constraint Logic Programming: A Survey
The Journal of Logic Programming, 1994 Constraint Logic Programming (CLP) began as a natural merger of two declarative paradigms: constraint solving and logic programming. This combination helps make CLP programs both expressive and flexible, and in some cases, more efficient than other kinds of programs.
Joxan Jaffar, Michael J. Maher
openaire +2 more sources
Logic and Constraint Logic Programming for Distributed Constraint Optimization
CoRR, 2014 To appear in Theory and Practice of Logic Programming (TPLP)
Tiep Le +3 more
openaire +3 more sources
Typing constraint logic programs [PDF]
Theory and Practice of Logic Programming, 2001 We present a prescriptive type system with parametric polymorphism and subtyping for constraint logic programs. The aim of this type system is to detect programming errors statically. It introduces a type discipline for constraint logic programs and modules, while maintaining the capabilities of performing the usual coercions between constraint ...
François Fages, Emmanuel Coquery
openaire +4 more sources
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates [PDF]
, 2011 Logic programs with aggregates (LPA) are one of the major linguistic extensions to Logic Programming (LP). In this work, we propose a generalization of the notions of unfounded set and well-founded semantics for programs with monotone and antimonotone ...
Alviano, Mario +4 more
core +3 more sources
Independence in CLP Languages [PDF]
, 2000 Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel ...
Hermenegildo, Manuel V. +2 more
core +1 more source
Induction of constraint logic programs [PDF]
, 1998 Inductive Logic Programming (ILP) is concerned with learning hypotheses from examples, where both examples and hypotheses are represented in the Logic Programming (LP) language. The application of ILP to problems involving numerical information has shown the need for basic numerical background knowledge (e.g. relation “less than”).
Michèle Sebag +2 more
openaire +2 more sources