|
|
| Distribution |
Debian stable |
| Abteilung |
devel |
| Quelle |
klic |
| Version |
3.003-gm1-2.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 |
|
|
|
