|
274
|
An introduction to Prolog III
– A Colmerauer
- 1990
|
|
182
|
Concurrent Constraint Programming Languages
– Vijay Anand Saraswat
- 1989
|
|
918
|
Consistency in networks of relations
– Alan Mackworth
- 1977
|
|
125
|
Logic Semantics for a Class of Committed-choice Programs
– Michael J Maher
- 1987
|
|
364
|
Constraint satisfaction in logic programming
– P Van Hentenryck
- 1989
|
|
403
|
Concurrent Constraint Programming
– Vijay A. Saraswat, Martin Rinard
- 1993
|
|
249
|
The constraint logic programming language CHIP, Fifth Generation Computer Systems
– M Dincbas, P van Hentenryck, H Simonis, A Aggoun, T Graf
- 1988
|
|
274
|
The CLP(R) Language and System
– J Ja ar, S Michaylow, P Stuckey, R Yap
- 1992
|
|
129
|
Constraint logic programming
– J Ja ar, J-L Lassez
- 1987
|
|
641
|
The Semantics of Predicate Logic as a Programming Language
– M. H. Van Emden, R. A. Kowalski
- 1976
|
|
34
|
Overview of the CHIP compiler system
– A Aggoun, N Beldiceanu
- 1993
|
|
38
|
Strand: new concepts in parallel programming
– Ian Foster, Stephen Taylor
- 1990
|
|
249
|
Domains for Denotational Semantics
– D S Scott
- 1982
|
|
235
|
Semantic foundations of concurrent constraint programming
– Vijay A. Saraswat, et al.
- 1990
|
|
271
|
A logic programming language with lambda-abstraction, function variables, and simple unification
– Dale Miller
- 1990
|
|
570
|
Towards a theory of declarative knowledge
– K R Apt, H A Blair, A Walker
- 1988
|
|
1739
|
Foundations of logic programming
– J W Lloyd
|
|
375
|
Networks of constraints: Fundamental properties and applications to picture processing
– U Montanari
- 1974
|
|
69
|
A Feature Logic with Subsorts
– Gert Smolka
- 1992
|
