Searching for "Logic Programming Schemes." – sorted by Relevance.
-
A Reactive Constraint Logic Programming Scheme
- A Reactive Constraint Logic Programming Scheme F. Fages 1;2 , J. Fowler 2 and T. Sola 2
- Cited by 17 (5 self) – Add To MetaCart
-
A Meta Constraint Logic Programming Scheme
- October 10, 1995 A Meta Constraint Logic Programming Scheme DEIS Technical Report no. DEIS-LIA-95
- Add To MetaCart
-
Constraint Logic Programming over Unions of Constraint Theories
- . In this paper, we propose an extension of the Jaffar-Lassez Constraint Logic Programming scheme that operates
- Cited by 9 (1 self) – Add To MetaCart
-
Using Program Schemes to Logically Capture Polynomial-Time on Certain Classes of Structures
- Using program schemes to logically capture polynomial-time on certain classes of structures Iain A
- Cited by 4 (4 self) – Add To MetaCart
-
A New Correctness Proof of the Nelson-Oppen Combination Procedure
- -deterministic version of the procedure that has been used to extend the Constraint Logic Programming Scheme to unions
- Cited by 47 (4 self) – Add To MetaCart
-
Model-Based Diagnosis Of Analog Circuits With CLP(R)
- (!) is presented. The general framework, called the Constraint Logic Programming Scheme is brieAEy introduced
- Cited by 1 (0 self) – Add To MetaCart
-
OFAI clp(Q,R) Manual
- described in this document is an instance of the general Constraint Logic Programming scheme introduced
- Cited by 4 (0 self) – Add To MetaCart
-
CLP(R) and Some Electrical Engineering Problems
- The Constraint Logic Programming Scheme defines a class of languages designed for programming with constraints
- Cited by 35 (5 self) – Add To MetaCart
-
Cooperative Constraint Functional Logic Programming
- scheme obtained from the integration of higher-order lazy narrowing for functional logic programming
- Cited by 8 (3 self) – Add To MetaCart
-
Towards a constraint deductive database language based on hereditary harrop formulas
- ), respectively, we introduce the constraint logic programming scheme HH(C) (Hereditary Harrop formulas
- Cited by 1 (1 self) – Add To MetaCart

