(85) KLIC version 2: A parallel implementation of KL1 for general-purpose computers
Machine: UNIX machine, etc
Environment: UNIX
Language: C
Source Code: 3.5 MB
Documents: Manual and tutorial (both in English)
Overview
KLIC version 2 is a portable and high-performance parallel
implementation of a concurrent logic programming language KL1 through
translation into the langauge C.
Features
KL1 is a concurrent logic programming language designed as the kernel
language of the FGCS project. KLIC is a portable and high-performance
parallel implementation of KL1 for systems having basic functions of
UNIX operating system.
- By translating KL1 language programs finally into native machine
code, its execution performance much superior to interpretive
implmentations.
- By using the language C as an intermediate language and making use
of the low-level machine-dependent optimization provided by C
compilers, high performance and excellent portability are realized at
the same time.
- Foreign language programs can be easily linked with KL1 programs.
Improvements over the version 1 are as follows.
- Improved user interface.
- Portable parallel implementations (for parallel and
netword-connected systems).
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, deadlock
detection, 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.
- Parallel implementations for system with shared memory or PVM.
FTP
www-admin@icot.or.jp
