FGCS'94 PROCEEDINGS
COVER
CONTENTS
General Report of the FGCS Follow-on Project　　　　　　　　日本語別冊
Shunichi Uchida　　内田俊一　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	1
Parallel Basic Software
Takashi Chikayama　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	10
Knowledge Information Processing Software
Katsumi Nitta, Kazumasa Yokota, Akira Aiba and Masato Ishikawa　・・・・・・・・・・・・・・・・・・・・・・・・・・・・	18
From Databases to Knowledge-Bases - Kappa,Quixote,Helios
Kazumasa Yokota　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	35
Parallel Theorem-Proving System : MGTP
Ryuzo Hasegawa　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	51
KLIC : A Portable Implementation of KL1
Tetsuro Fujise, Takashi Chikayama, Kazuaki Rokusawa and Akihiko Nakase　・・・・・・・・・・・・・・・・・・・・	66
The Evaluation of Parallel Inferencce Machines
Koichi Kumon and Hiroyoshi Hatazawa　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	80
Distributed Pool and its Implementation
Masaki Sato, Masahiko Yamauchi and Takashi Chikayama　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	90
Parallel Database Management System : Kappa
Moto Kawamura and Toru Kawamura　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	100
Knowledge Representation Language Quixote
Hiroshi Tsuda and Kazumasa Yokota　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	106
Heterogeneous Distributed Cooperative Problem Solving System HELIOS
Akira Aiba, Kazumasa Yokota and Hiroshi Tsuda　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	117
Parallel Application Systems in Genetic Information Processing
Masato Ishikawa, Tomoyuki Toya and Yasushi Totoki　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	129
A Legal Reasoning System : new HELIC-II
Katsumi Nitta, Masato Shibasaki, Tsuyoshi Sakata, Takahiro Yamaji, Wang Xianchang, Hiroshi Ohsaki, Satoshi Tojo, Iwao Kokubo and Takayuki Suzuki　・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・	139
Author Index