(78) KLIC version 1: An implementation of KL1 for general purpose computers

	Machine:     UNIX machine
	Environment: UNIX
	Language:    C, Prolog
	Source Code: 0.4 MB
	Documents:   Brief manual(English)

Overview

A portable and high-performance implementation of a concurrent logic programming language KL1 through translation into language C.

Features

KL1 is a concurrent logic programming language designed as the kernel language of the Japan's Fifth Generation Computer Systems project. The KLIC system is a portable and high-performance implementation of KL1 on UNIX-based systems, that can efficiently run KL1 language programs, which used to run efficiently only on specially devised hardware.

By translating KL1 language programs finally into native machine code, execution performance much superior to interpretive implmentations is realized.
By using language C as an intermediate language for machine code generation, and making the C compiler for each system to be responsible for lower-level machine-dependent optimization, the high performance and excellent portability are realized at the same time.
Foreign language programs can be easily linked with KL1 programs.

Function

A KL1 to C compiler and its runtime system are provided.
All the essential features of the concurrent logic programming language KL1 are provided.
The system is more than twice as fast as modern Prolog implementations with the same or smaller object code size.
The debugging tracer features stepping, spying, etc.
As only standard features of the language C and UNIX are used, the system can be ported with almost no modification to a wide variety of UNIX systems.

FTP

README,
README(detail),
INSTALL,
TUTORIAL,
TUTORIAL(TeX),
Makefile.
KLIC (Newest version): An implementation of KL1 for general purpose computers.

www-admin@icot.or.jp