A compiling approach for exploiting and-parallelism in parallel logic programming systems

PARLE '89 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-51285-3_50 ◽

1989 ◽

pp. 335-345 ◽

Author(s):

Zhiyi Hwang ◽

Shouren Hu

Keyword(s):

Logic Programming ◽

Parallel Logic Programming ◽

Programming Systems

Download Full-text

The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/3-540-49201-1_9 ◽

1998 ◽

pp. 122-136 ◽

Author(s):

Marcio G. Silva ◽

Inês C. Dutra ◽

Ricardo Bianchini ◽

Vítor Santos Costa

Keyword(s):

Logic Programming ◽

Parallel Logic Programming ◽

Programming Systems

Download Full-text

Virtual memory support for OR-parallel logic programming systems

PARLE '91 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/3-540-54152-7_78 ◽

1991 ◽

pp. 421-438

Author(s):

André Véron ◽

Jiyang Xu ◽

S. A. Delgado-Rannauro ◽

K. Schuerman

Keyword(s):

Logic Programming ◽

Virtual Memory ◽

Parallel Logic Programming ◽

Programming Systems ◽

Download Full-text

Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems

Logic Programming ◽

10.7551/mitpress/4298.003.0062 ◽

1995 ◽

Keyword(s):

Logic Programming ◽

Parallel Logic Programming ◽

Programming Systems

Download Full-text

Reduction of Code Space in Parallel Logic Programming Systems

Parle ’91 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/978-3-662-25209-3_53 ◽

1991 ◽

pp. 876-892 ◽

Author(s):

Zhiyi Hwang ◽

Shouren Hu ◽

Chengzheng Sun ◽

Yaoqing Gao

Keyword(s):

Logic Programming ◽

Parallel Logic Programming ◽

Programming Systems

Download Full-text

Parallel Logic Programming Systems on Scalable Architectures

Journal of Parallel and Distributed Computing ◽

10.1006/jpdc.2000.1629 ◽

2000 ◽

Vol 60 (7) ◽

pp. 835-852 ◽

Author(s):

Vı́tor Santos Costa ◽

Ricardo Bianchini ◽

Inês de Castro Dutra

Keyword(s):

Logic Programming ◽

Scalable Architectures ◽

Parallel Logic Programming ◽

Programming Systems

Download Full-text

Virtual Memory Support for OR-Parallel Logic Programming Systems

Parle ’91 Parallel Architectures and Languages Europe - Lecture Notes in Computer Science ◽

10.1007/978-3-662-25209-3_51 ◽

1991 ◽

pp. 843-860 ◽

Author(s):

André Véron ◽

Jiyang Xu ◽

S. A. Delgado-Rannauro ◽

K. Schuerman

Keyword(s):

Logic Programming ◽

Virtual Memory ◽

Parallel Logic Programming ◽

Programming Systems ◽

Download Full-text

Parallel logic programming systems

ACM Computing Surveys ◽

10.1145/185403.185453 ◽

1994 ◽

Vol 26 (3) ◽

pp. 295-336 ◽

Author(s):

Jacques Chassin de Kergommeaux ◽

Philippe Codognet

Keyword(s):

Logic Programming ◽

Parallel Logic Programming ◽

Programming Systems

Download Full-text

A task scheduling algorithm for parallel logic programming systems

Proceedings Fourth International Conference/Exhibition on High Performance Computing in the Asia-Pacific Region ◽

10.1109/hpc.2000.846560 ◽

2000 ◽

Author(s):

Jie Tao ◽

Jiubin Ju

Keyword(s):

Logic Programming ◽

Task Scheduling ◽

Scheduling Algorithm ◽

Parallel Logic Programming ◽

Task Scheduling Algorithm ◽

Programming Systems

Download Full-text

Optimising parallel logic programming systems for scalable machines

Euro-Par’98 Parallel Processing - Lecture Notes in Computer Science ◽

10.1007/bfb0057937 ◽

1998 ◽

pp. 831-841 ◽

Author(s):

Vítor Santos Costa ◽

Ricardo Bianchini

Keyword(s):

Logic Programming ◽

Parallel Logic Programming ◽

Programming Systems

Download Full-text

Evaluating parallel logic programming systems on scalable multiprocessors

Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 ◽

10.1145/266670.266687 ◽

1997 ◽

Author(s):

Vítor Santos Costa ◽

Ricardo Bianchini ◽

Inês de Castro Dutra

Keyword(s):

Logic Programming ◽

Parallel Logic Programming ◽

Programming Systems ◽

Scalable Multiprocessors

Download Full-text