(1) Improving the Runtime System of KLIC

Research to improve and extend KLIC, a portable implementation of a concurrent logic programming language KL1, and to extend its application area was conducted. Numerous improvements and exntensions were made to the KLIC system. Representative topics are: addition of the ``goal object'' mechanism for allowing meta-level programming in KL1, a tracer written in KL1 itself using the goal object mechanism, an semi-automatic load distribution mechanism written in KL1 based on the lazy task creation policy, and a static analyzer for object code optimization for KL1 through abstract execution. For extending its application area, we chose the parallel theorem prover MGTP that runs upon KLIC as the target, and improved its performance by better scheduling paying attention to the sizes of atomic formulae. Also, an inductive logic programming system was built upon MGTP, which showed reasonable speed-up by parallel execution.