K. Clark, and S. Gregory, "PARLOG: Parallel Programming in Logic", ACM Trans. on Programming Languages and Systems, Vol. 8, No. 1, pp. 1--49, 1986. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
STUDIA UNIV. BABES--BOLYAI, INFORMATICA, Volume XLVIII.. - Scheduling Optimality.. (2003) (Correct)
Parallelism In Logic Programming - Ueda (1989) (1 citation) (Correct)
A Pure Meta-Interpreter for Flat GHC, A Concurrent Constraint.. - Ueda (Correct)
Resource-Passing Concurrent Programming - Ueda (2 citations) (Correct)
I/O Mode Analysis in Concurrent Logic Programming - Ueda (1995) (Correct)
Guarded Horn Clauses: A Parallel Logic Programming Language with.. - Ueda (1987) (7 citations) (Correct)
Moded Flat GHC and Its Message-Oriented Implementation Technique - Ueda, Morita (1994) (20 citations) (Correct)
CLPKIDS: A Program Analysis System for Concurrent Logic.. - Zhao, Cheng, Ushijima (2001) (Correct)
Two Rule-based Building-block Architectures for Policy-based.. - Kanada (2000) (Correct)
A π-calculus Specification of Prolog - Li (1994) (Correct)
Sequential and Parallel Iteration in Logic Programs - Arro, Barklund (Correct)
The Design of an Optimistic AND-Parallel Prolog - Olthof, Cleary (1993) (Correct)
Parallel Programming with Logic Languages: a Survey - Ciancarini (1992) (3 citations) (Correct)
Declarative Specification of the Architecture of a.. - Ambriola.. (1995) (Correct)
An Efficient Parallel Substrate for Typed Feature.. - Ninomiya, Torisawa.. (1998) (1 citation) (Correct)
A Representation of Network Node QoS Control Policies Using.. - Kanada (2000) (Correct)
Logic Programming Languages for the Internet - Davison (2001) (3 citations) (Correct)
Denotational Semantics for Asynchronous Concurrent Languages - Nyström (1996) (Correct)
Task Granularity Analysis in Logic Programs - Saumya Debray Nai-Wei (1990) (20 citations) (Correct)
Rule-Based Building-Block Architecture for Policy-based.. - Kanada, O'Keefe (2003) (Correct)
CHR Grammars with multiple constraint stores - Christiansen (2004) (Correct)
Logic Programming Languages for the Internet - Andrew Davison Prince (2001) (3 citations) (Correct)
From Concurrent Logic Programming to Concurrent Constraint .. - de Boer, Palamidessi (1993) (6 citations) (Correct)
Declarative Specification of the Architecture of a.. - Ambriola, Ciancarini (1995) (Correct)
Declarative Semantics for Pruning Operators in Logic.. - Giannotti, Pedreschi.. (1994) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC