KLIC 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: http://www.icot.or.jp/AITEC/COLUMN/KLIC/klic.html 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: None

Other Links: None 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