Research Results of Follow-on Project
Research Areas in the Follow-on Project:
- KLIC system:
a KL1 programming environment for sequential and parallel
Unix-based machines
- Evaluation of PIM's and KL1 language processor
- Parallel Nested Relational DBMS, Kappa-P
- Parallel theorem
prover, MGTP
- Knowledge representation languages;
- Deductive and object-oriented language, Quixote
- Parallel constraint logic programming language, GDCC
- Heterogeneous distributed problem solving system
- Genetic information processing systems
- DNA and protein sequence analysis systems
- Biological DBMS and KBMS
- Legal reasoning system, HELIC-II
Please refer to the Proceedings for Internation
Symposium on Fifth Generation Computer Systems 1994.
Research Themes of the FGCS Follow-on Project