Fully abstract denotational semantics for flat Concurrent Prolog

[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science ◽

10.1109/lics.1988.5130 ◽

2003 ◽

Author(s):

R. Gerth ◽

M. Codish ◽

Y. Lichtenstein ◽

E. Shapiro

Keyword(s):

Denotational Semantics ◽

Concurrent Prolog ◽

Flat Concurrent Prolog

Download Full-text

Using flat concurrent Prolog in system modeling

IEEE Transactions on Software Engineering ◽

10.1109/32.87277 ◽

1991 ◽

Vol 17 (6) ◽

pp. 493-512 ◽

Author(s):

Y. Dotan ◽

B. Arazi

Keyword(s):

System Modeling ◽

Concurrent Prolog ◽

Flat Concurrent Prolog

Download Full-text

A Flat Concurrent Prolog Compiler for PARAM

IETE Journal of Research ◽

10.1080/03772063.1996.11415920 ◽

1996 ◽

Vol 42 (3) ◽

pp. 161-164

Author(s):

Manish Gupta ◽

Vijay Chandru

Keyword(s):

Concurrent Prolog ◽

Flat Concurrent Prolog

Download Full-text

A distributed implementation of flat concurrent prolog on multi-transputer environments

Parallel Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-55437-8_87 ◽

1992 ◽

pp. 277-288 ◽

Author(s):

U. Glässer ◽

G. Hannesen ◽

M. Kärcher ◽

G. Lehrenfeld

Keyword(s):

Concurrent Prolog ◽

Flat Concurrent Prolog ◽

Distributed Implementation

Download Full-text

Ein verteilter Interpreter für Flat Concurrent Prolog auf Transputern

Parallele Datenverarbeitung mit dem Transputer - Informatik-Fachberichte ◽

10.1007/978-3-642-84142-2_4 ◽

1990 ◽

pp. 34-42

Author(s):

U. Glässer

Keyword(s):

Concurrent Prolog ◽

Flat Concurrent Prolog

Download Full-text

A sequential abstract machine for flat concurrent prolog

The Journal of Logic Programming ◽

10.1016/0743-1066(89)90011-3 ◽

1989 ◽

Vol 7 (2) ◽

pp. 85-123 ◽

Author(s):

Avshalom Houri ◽

Ehud Shapiro

Keyword(s):

Abstract Machine ◽

Concurrent Prolog ◽

Flat Concurrent Prolog

Download Full-text

Carmel-1: A VLSI Architecture for Flat Concurrent Prolog

The Kluwer International Series in Engineering and Computer Science - VLSI for Artificial Intelligence ◽

10.1007/978-1-4613-1619-0_3 ◽

1989 ◽

pp. 27-37 ◽

Author(s):

Ran Ginosar ◽

Arie Harsat

Keyword(s):

Vlsi Architecture ◽

Concurrent Prolog ◽

Flat Concurrent Prolog

Download Full-text

A parallel implementation of Flat Concurrent Prolog

International Journal of Parallel Programming ◽

10.1007/bf01414556 ◽

1986 ◽

Vol 15 (3) ◽

pp. 245-275 ◽

Author(s):

Stephen Taylor ◽

Shmuel Safra ◽

Ehud Shapiro

Keyword(s):

Parallel Implementation ◽

Concurrent Prolog ◽

Flat Concurrent Prolog

Download Full-text

Architectural support for the management of tightly-coupled fine-grain goals in flat concurrent Prolog

ACM SIGARCH Computer Architecture News ◽

10.1145/325096.325155 ◽

1990 ◽

Vol 18 (2SI) ◽

pp. 292-301

Author(s):

Leon Alkalaj ◽

Tomás Lang ◽

Miloš Ercegovac

Keyword(s):

Concurrent Prolog ◽

Architectural Support ◽

Tightly Coupled ◽

Flat Concurrent Prolog

Download Full-text

Flat Concurrent Prolog on transputers

Journal of Microcomputer Applications ◽

10.1016/0745-7138(90)90003-p ◽

1990 ◽

Vol 13 (1) ◽

pp. 3-18 ◽

Author(s):

U. Glässer ◽

M. Kärcher ◽

G. Lehrenfeld ◽

N. Vieth

Keyword(s):

Concurrent Prolog ◽

Flat Concurrent Prolog

Download Full-text

A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems

10.1007/978-3-322-97611-6 ◽

1993 ◽

Author(s):

Uwe Glässer

Keyword(s):

Message Passing ◽

Multiprocessor Systems ◽

Concurrent Prolog ◽

Flat Concurrent Prolog ◽

Distributed Implementation

Download Full-text