Abstract:
Among concurrent logic programming or CLP languages like Concurrent Prolog [16] two of the most prominent are GHC [21] and Parlog [6]. GHC and Parlog have similar execution models but complementary virtues as will be argued. Hence it could be desirable to find some common denominator of both languages, which is sufficiently expressive to be worth programming in its own right, and yet is sufficiently close to both languages to be intertranslatable
Citations
|
264
|
The family of concurrent logic programming languages
– Shapiro
- 1989
|
|
26
|
Parallel Logic Programming
– Gregory
- 1987
|
|
25
|
Metainterpreters for expert system construction
– Sterling, Beer
- 1989
|
|
6
|
A distributed implementation of Flat GHC on the Multi-PSI
– Ichiyoshi, Miyazaki, et al.
- 1987
|
|
4
|
Flat Parlog: A Basis for Comparison
– Foster, Taylor
- 1987
|
|
4
|
MPICH - A Portable Implementation of MPI
– Saraswat
- 1987
|
|
3
|
Logic operating systems: Design issues
– Foster
- 1987
|
|
3
|
Parlog as a Systems Programming Language
– Foster
- 1988
|
|
3
|
Translation of Safe GHC and Safe Concurrent Prolog to FCP
– Levy, Shapiro
- 1987
|
|
2
|
An Abstract Machine for the Implementation of Parlog on
– Gregory, Foster, et al.
- 1989
|
|
2
|
KL1 Execution Model for PIM Cluster with Shared Memory
– Sato, Shimizu, et al.
- 1987
|
|
1
|
Implementation of Committed Choice Languages on Shared Memory Multiprocessors
– Crammond
- 1988
|
|
1
|
Partial Evaluation of GHC programs based upon the UR-Set with constraints
– Fujita, Okumura, et al.
- 1988
|
|
1
|
A preliminary note on the semantics of Guarded Horn Clauses", TR-434, Inst. for New Gen
– Kanamori, Maeji
- 1988
|
|
1
|
An abstract KL1 machine and its Instruction Set", TR-246, Inst. for New Gen
– Kimura, Chikayama
- 1987
|
|
1
|
The Dataflow-based Parallel Inference Machine to support two basic languages in KL1", TR-114, Inst. for New Gen
– Kishi, Kuno, et al.
- 1985
|
|
1
|
A GHC Abstract Machine and Instruction Set
– Levy
- 1986
|
|
1
|
A Subset of Concurrent Prolog and its Interpreter", TR-003, Inst. for New Gen
– Shapiro
- 1983
|
|
1
|
Localising the GHC suspension test
– Taylor
- 1988
|
|
1
|
On the Operational Semantics of Guarded Horn Clauses," TM-136, Inst. for New Gen
– Ueda
- 1985
|
|
1
|
Guarded Horn Clauses," Doctor of
– Ueda
|
