FGCS'94 Workshop 1
Parallel Logic Programming
|
|
| December 15 and 16, 1994 Schonbach Sabo, Tokyo |
|
| COVER |
|
CONTENTS |
|
| Invited Talk |
|
Some shared problems in compiling Functional and Logic languages |
1 |
| Arvind |
|
| |
|
| Talks |
|
| Language |
|
| Embedding of Moded Flat GHC into Polyadic π-Calculus |
3 |
| Keiji Hirata |
|
| An Efficient Implementation of Reflection in KL1 |
17 |
| Toshiyuki Takahashi, Masayuki Takeda |
|
| Moded Flat GHC for Data-Parallel Programming |
27 |
| Kazunori Ueda |
|
| |
|
| Systems |
|
| Super Monaco Brothers: The Sequel |
36 |
| James S. Larson, Bart C. Massey, Evan Tick |
|
| Design of a Distributed Scheduler for a Parallel CLP System |
50 |
| Liang-Liang Li |
|
| System Integration of the Parallel Inference Engine PIE64 |
64 |
| Takuya Araki, Yasuo Hidaka, Hidemoto Nakada, Hanpei Koike, Hidehiko Tanaka |
|
| Load Distribution System of PIE64 |
77 |
| Satoshi Murakami, Hidemoto Nakada, Yasuo Hidaka, Hanpei Koike, Hidehiko
Tanaka |
|
| |
|
| Distributed Systems |
|
| Design and Implementation of a Handy Distributed KLIC System |
91 |
| Kiyofumi Kakiuchi, Masanobu Ookawa, Tatsuya Hagino, Koichi Furukawa, Takashi
Hattori |
|
| Reference Loops Management in a Distributed KLIC Implementation |
102 |
| Kazuaki Rokusawa, Takashi Chikayama, Tetsuro Fujise, Akihiko Nakase |
|
| |
|
| Garbage Collection |
|
| A Parallel Real-time Garbage Collection Scheme for Shared-memory Multiprocessors |
110 |
| Khayri A. M. Ali |
|
| A Shared-Memory Parallel Extension of KLIC and its Garbage Collection |
113 |
| Nobuyuki Ichiyoshi, Masao Morita, Takashi Chikayama |
|
| |
|
| Other Topics |
|
| Literal Dependence Net and Its Use in Concurrent Logic Programming Environment |
127 |
| Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
|
| Automatic Transformation of Deterministic Prolog Programs to KL1 |
142 |
| Konstantinos Varsamos |
|
| Searching Bayes Nets by Exploiting Task Priority |
158 |
| Evan Tick |
|
|
|
