SAL Home PARALLEL Programming Languages & Systems


KLIC is an implementation of a concurrent logic programming language KL1. KL1 is based on a flat version of the Guarded Horn Clauses (GHC) language. GHC is a member of so-called commited-choice logic programming language family and has sibblings such as Concurrent Prolog, Parlog, Janus and Fleng.

The KLIC implementation compiles KL1 programs into C programs, then compiles them using C compilers of the host system, and then links the objects with runtime libraries (including libraries provided by UNIX).

Current Version:   3.002

License Type:   ??

Home Site:

Source Code Availability: Yes

Available Binary Packages:

  • Debian Package: No
  • RedHat RPM Package: No
  • Other Packages: No

Targeted Platforms:

Linux, FreeBSD, Solaris, SunOS

Software/Hardware Requirements:


Other Links:

Mailing Lists/USENET News Groups:

See Home Site for information

User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Parallel Computing   |   Programming Languages & Systems

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.