(1) Improving the Runtime System of KLIC

[Software Features]

The software improves and enhances KLIC, which was released 
as ICOT Free Software, with the feature called "Goal Objects" that 
allows meta-level treatment of executable goals.  Based on this 
version of KLIC, the following software are also included for improving 
the software development environment:

- A tracer, called DDU, written in KL1 itself built upon the goal object
feature,

- A semi-automatic load distribution mechanism, called SKULD,
which is based on the lazy task creation concept,

- An abstract interpreter for KL1,

- A pretty printer for KL1,

- An inductive logic programming system by MGTP.

[Required Environment]

The required environment is the same as required for the original KLIC.  
In addition, the DDU system requires the X window system.  
These software systems were tested on a SparcStation 10 running SunOS 4.1.3, 
but these software should run on any other systems that run KLIC.

[File Configuration]

The top-level directory should contain the following sub-directories 
after extraction.

    Documents:
	Manuals and documents regarding the internal structure of software.
    Sources:
	Files containing source programs, sample data, and execution
	results of samples.


These two sub-directories each contain the following directories 
as their own sub-directories:

    enhanced-klic:	Enhanced KLIC
    ddu:		Tracer written in KL1 itself
    skuld:		Semiautomatic load distribution mechanism
    KAbI:		Abstract interpreter for KL1
    KL1PP:		Pretty printer for KL1
    ILP-MGTP:		Inductive logic programming system by MGTP

However, enhanced KLIC is not in the Sources/enhanced-klic directory.  
To avoid confusion between different versions of KLIC provided to users, 
we decided to merge the enhancements with normal releases and not to 
provide separate versions.  Please use the newest version of KLIC.

The following two files are also in the top-level directory.

    Readme-J:		Outline document of the software in Japanese
    Readme-E:		Outline document of the software in English

[FTP]

• README
• Program and Documents in Japanese [200.6K]