Home
Linux temps réel embarqué et outils de développements Technique





klic

klic KL1 to C compiler system
Priority
Sectiondevel
Installed size 1996
Maintainer GOTO Masanori <gotom@debian.org>
Architecture i386
Version 3.003-gm1-2.1
Depends libc6 (>= 2.3.6-6)
Suggests klic-doc
File name pool/main/k/klic/klic_3.003-gm1-2.1_i386.deb
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 committed-choice logic programming language family and has siblings such as Concurrent Prolog, Parlog, Janus and Fleng.


©M.N.I.S Société | Produits | Services | Formations | Support | Partenariat | Presse | Téléchargements ©M.N.I.S