[ hardy ]
[ Source: klic ]
Package: klic (3.003-gm1-4.1) [universe]
Links for klic
Ubuntu Resources:
Download Source Package klic:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- GOTO Masanori
It should generally not be necessary for users to contact the original maintainer.
Similar packages:
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 committed-choice logic programming language family and has siblings such as Concurrent Prolog, Parlog, Janus and Fleng.
Other Packages Related to klic
|
|
|
-
- dep: libc6 (>= 2.5-0ubuntu1)
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- sug: klic-doc
- Documentation and sample KL1 files for the KLIC
Download klic
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 709.1 kB | 2,424.0 kB | [list of files] |
| i386 | 680.5 kB | 1,988.0 kB | [list of files] |