AITEC Contract Research Projects in FY1995 : Abstract

(14) Development of an MGTP System on KLIC

Dr. Ryuzo Hasegawa, Professor, Kyushu University

STUDY ON MGTP ON KLIC

This study aims to develop the KLIC version of MGTP, which is already available as IFS, into an easy-to-use system. Specifically, this study takes the following three approaches:

(1) Translate the modules written in Prolog into KLIC or Pearl.

(2) Implement a translator based on the non-horn magic set method.

(3) Study the MGTP programming environment and the functions of MGTP as a reasoning description language.

In addition, we will implement effective tools and libraries on KLIC.

www-admin@icot.or.jp