|
Distribution |
Debian testing |
Abteilung |
devel |
Quelle |
klic |
Version |
3.003-gm1-4.1 |
Maintainer |
GOTO Masanori <gotom@debian.org>
|
Beschreibung |
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.
|
Abhängig von | libc6 (>= 2.3.5-1) | Vorgeschlagen | klic-doc |
Offizielle Seiten |
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket) |
Download |
amd64 |
|
|
|