Searching for "Logic Programming Language Scheme." – sorted by Relevance.
-
Residual SLDNF in CLP languages
- languages. The scheme claims to encompass all current logic programing languages as subcases. Prolog can
- Cited by 3 (0 self) – Add To MetaCart
-
Constraint Hierarchies
- , in the Constraint Logic Programming language scheme [11, 40] and in the cc (concurrent constraint) languages [66, 65
- Cited by 130 (16 self) – Add To MetaCart
-
Constraint Logic Programming: A Survey
- Programming Language Scheme, in: Logic Programming: Relations, Functions and Equations, D. DeGroot and G
- Cited by 645 (13 self) – Add To MetaCart
-
Some issues and trend in the semantics of logic programming
- not been fulfilled. Logic-based programming languages, on the other hand, have the great advantage
- Cited by 2 (0 self) – Add To MetaCart
-
Incremental Constraint Satisfaction for Equational Logic Programming
- generic logic programming language scheme which extends pure logic programming to include constraints
- Cited by 10 (9 self) – Add To MetaCart
-
Cutting Planes in Constraint Logic Programming
- logic programming language scheme CLP(X ) [JL87]. Pseudo-Boolean constraints or 0-1 constraints combine
- Cited by 4 (2 self) – Add To MetaCart
-
The Overview of a Knowledge Representation Language Quixote (Draft)
- processing applications. QUIXOT E is an instance of CLP (Constraint Logic Programming language) scheme [3
- Cited by 3 (3 self) – Add To MetaCart

