1. KL1 to C compiler system 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). 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. From Debian 3.0r0 APT