ITP: klic -- KL1 to C compiler system
Package: klic
Severity: wishlist
I intent to package `klic (and klic-doc)', KL1 to C compiler.
Description:
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.
URL: http://www.klic.org/ KLIC Association.
License: ICOT Free Software Copyright
(DFSG Free license).
-- gotom
Reply to: