Results 1 - 10 of 602

A Methodology for Managing Hard Constraints in CLP Systems

by Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap , 1991
"... In constraint logic programming (CLP) systems, the standard technique for dealing with hard constraints is to delay solving them until additional constraints reduce them to a simpler form. For example, the CLP(R) system delays the solving of nonlinear equations until they become linear, when certain ..."
Abstract - Cited by 11 (3 self) - Add to MetaCart
In constraint logic programming (CLP) systems, the standard technique for dealing with hard constraints is to delay solving them until additional constraints reduce them to a simpler form. For example, the CLP(R) system delays the solving of nonlinear equations until they become linear, when

The Semantics Of Constraint Logic Programs

by Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - JOURNAL OF LOGIC PROGRAMMING , 1996
"... This paper presents for the first time the semantic foundations of CLP in a self-contained and complete package. The main contributions are threefold. First, we extend the original conference paper by presenting definitions and basic semantic constructs from first principles, giving new and comp ..."
Abstract - Cited by 872 (14 self) - Add to MetaCart
since almost all CLP systems use an incomplete solver. Third, we give conditions on the (possibly incomplete) solver which ensure that the operational semantics is confluent, that is, has independence of literal scheduling.

Research on Mechanism of Variable Event in CLP System

by Junkai Yi , Jing Wan , Likang Tian , Junkai Yi , Yubin Zhou , 2013
"... Abstract: Constraint inference engine as the core part of constraint logic programming system comprises variable set, temporary container and constraint filter and inference engine and adopts branching strategy, exploration strategy and node backtracking strategy to complete the inference task. Thi ..."
Abstract - Add to MetaCart
Abstract: Constraint inference engine as the core part of constraint logic programming system comprises variable set, temporary container and constraint filter and inference engine and adopts branching strategy, exploration strategy and node backtracking strategy to complete the inference task

The Clp

by Marinus Pilon, Wiebke Tapken, Jitae Kim, Kenji Nishimura, Klaas J. Van Wijk, Marinus Pilon , 2014
"... protease system is required for copper ion-dependent turnover of the PAA2/HMA8 copper transporter in chloroplasts Author for correspondence: ..."
Abstract - Add to MetaCart
protease system is required for copper ion-dependent turnover of the PAA2/HMA8 copper transporter in chloroplasts Author for correspondence:

Compiling Constraints in clp(FD)

by Philippe Codognet, Daniel Diaz , 1996
"... We present the clp(FD) system: a Constraint Logic Programming language with finite domain constraints... ..."
Abstract - Cited by 172 (25 self) - Add to MetaCart
We present the clp(FD) system: a Constraint Logic Programming language with finite domain constraints...

Model Checking in CLP

by Giorgio Delzanno, Andreas Podelski , 1999
"... We show that Constraint Logic Programming (CLP) can serve as a conceptual basis and as a practical implementation platform for the model checking of infinite-state systems. Our contributions are: (1) a semantics-preserving translation of concurrent systems into CLP programs, (2) a method for verifyi ..."
Abstract - Cited by 103 (28 self) - Add to MetaCart
We show that Constraint Logic Programming (CLP) can serve as a conceptual basis and as a practical implementation platform for the model checking of infinite-state systems. Our contributions are: (1) a semantics-preserving translation of concurrent systems into CLP programs, (2) a method

Role of the Clp System in Stress Tolerance, Biofilm Formation, and Intracellular Invasion in Porphyromonas gingivalis �

by Cindy A. Capestany, Gena D. Tribble, Kazuhiko Maeda, Donald R. Demuth, Richard J. Lamont , 2007
"... Clp proteases and chaperones are ubiquitous among prokaryotes and eukaryotes, and in many pathogenic bacteria the Clp stress response system is also involved in regulation of virulence properties. In this study, the roles of ClpB, ClpC, and ClpXP in stress resistance, homotypic and heterotypic biofi ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
Clp proteases and chaperones are ubiquitous among prokaryotes and eukaryotes, and in many pathogenic bacteria the Clp stress response system is also involved in regulation of virulence properties. In this study, the roles of ClpB, ClpC, and ClpXP in stress resistance, homotypic and heterotypic

Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system

by Sergii Dymchenko , Mariia Mykhailova
"... ABSTRACT In this paper we demonstrate several examples of solving challenging algorithmic problems from the Google Code Jam programming contest with the Prolog-based ECL i PS e system using declarative techniques: constraint logic programming and linear (integer) programming. These problems were de ..."
Abstract - Add to MetaCart
ABSTRACT In this paper we demonstrate several examples of solving challenging algorithmic problems from the Google Code Jam programming contest with the Prolog-based ECL i PS e system using declarative techniques: constraint logic programming and linear (integer) programming. These problems were

Experiments for integration CLP and abduction

by Marc Denecker, Bert Van Nuffelen, Bert Van Nu#elen - Workshop on Constraints , 1999
"... The goal of the LP+ project at the K.U.Leuven is to design an expressive logic, suitable for declarative knowledge representation, and to develop intelligent systems based on Logic Programming technology for solving computational problems using the declarative specifications. The ID-logic logic is a ..."
Abstract - Cited by 10 (5 self) - Add to MetaCart
is an integration of typed classical logic and a definition logic. Different abductive solvers for this language are being developed. This paper is a report of some preliminary computational experiments with an integration of the abductive reasoner SLDNFA and CLP-systems.

A Tabulation Algorithm for CLP

by Fred Mesnard, Sebastien Hoarau
"... Since its introduction in logic programming, tabulation has proven to a be powerful tool in many areas. The technique has been lifted to constraint extensions of Datalog and to constraint logic programming (CLP). In this abstract, we describe a new formulation of tabulation for CLP, directly designe ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
designed towards an implementation on CLP systems. We illustrate the use of our algorithm by comparing the performance of our implementation with bottom-up evaluation for groundness analysis of logic programs.
Results 1 - 10 of 602