Managing search in parallel logic programming

Logic Programming '87 - Lecture Notes in Computer Science ◽

10.1007/3-540-19426-6_11 ◽

1988 ◽

pp. 148-177 ◽

Author(s):

Hayato Ohwada ◽

Fumio Mizoguchi

Keyword(s):

Logic Programming ◽

Parallel Logic Programming

Download Full-text

Parallel Logic Programming and ZMOB

10.21236/ada196942 ◽

1988 ◽

Author(s):

Jack Minker ◽

Mark Weiser

Keyword(s):

Logic Programming ◽

Parallel Logic Programming

Download Full-text

Parallel Logic Programming Architecture

10.21236/ada225199 ◽

1990 ◽

Author(s):

William B. Day

Keyword(s):

Logic Programming ◽

Parallel Logic Programming

Download Full-text

Compile-time granularity analysis for parallel logic programming languages

New Generation Computing ◽

10.1007/bf03037210 ◽

1990 ◽

Vol 7 (2-3) ◽

pp. 325-337 ◽

Author(s):

E. Tick

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Parallel Logic Programming ◽

Logic Programming Languages

Download Full-text

Parallel Logic Programming

Parallel and Constraint Logic Programming ◽

10.1007/978-1-4615-5119-5_3 ◽

1998 ◽

pp. 53-96

Author(s):

Ioannis Vlahavas ◽

Panagiotis Tsarchopoulos ◽

Ilias Sakellariou

Keyword(s):

Logic Programming ◽

Parallel Logic Programming

Download Full-text

An operational semantics of ANDOR-II, a parallel logic programming language with AND- and OR- parallelism

Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture ◽

10.1007/3-540-53932-8_51 ◽

1991 ◽

pp. 173-209

Author(s):

Akikazu Takeuchi ◽

Kazuko Takahashi

Keyword(s):

Logic Programming ◽

Programming Language ◽

Operational Semantics ◽

Logic Programming Language ◽

Parallel Logic Programming

Download Full-text

An Or-Parallel Logic Programming Machine for Non-shared Memory Architectures

Architektur und Betrieb von Rechensystemen - Informatik-Fachberichte ◽

10.1007/978-3-642-73451-9_17 ◽

1988 ◽

pp. 213-232

Author(s):

Johannes Engels

Keyword(s):

Logic Programming ◽

Shared Memory ◽

Parallel Logic Programming ◽

Memory Architectures ◽

Shared Memory Architectures

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

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

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

Performance of an OR-parallel logic programming system

International Journal of Parallel Programming ◽

10.1007/bf01379323 ◽

1988 ◽

Vol 17 (1) ◽

pp. 59-92 ◽

Author(s):

Peter A. Tinker

Keyword(s):

Logic Programming ◽

Programming System ◽

Parallel Logic Programming

Download Full-text