FGCS'94 Collection of Presentation Materials
COVER
CONTENTS
General Report: FGCS Follow-on Project	Shunichi Uchida	1
Parallel Basic Software	Takashi Chikayama	23
Knowledge Information Processing Software	Katsumi Nitta	35
From Databases to Knowledge-Bases --- Kappa, Quixote, Helios	Kazumasa Yokota	57
Parallel Theorem-Proving System -MGTP-	Ryuzo Hasegawa	67
KLIC: A Portable Implementation of KL1	Tetsuro Fujise	83
	Takashi Chikayama
	Kazuaki Rokusawa
	Akihiko Nakase
The Evaluation of PIM	Kouichi Kumon	95
	Hiroyoshi Hatazawa
Distributed Pool and its Implementation	Masaki Sato	107
Parallel Database Management System: Kappa	Moto Kawamura	117
	Toru Kawamura
Knowledge Representation Language Quixote	Hiroshi Tsuda	123
	Kazumasa Yokota
Heterogeneous Distributed Cooperative Problem Solving System HELIOS	Akira Aiba	133
	Kazumasa Yokota
	Hiroshi Tsuda
Parallel Application Systems in Genetic Information Processing	Masato Ishikawa	147
A Legal Reasoning System -- new HELIC-II	Tsuyoshi Sakata	161