1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
Source: klic
Section: devel
Priority: optional
Maintainer: GOTO Masanori <gotom@debian.or.jp>
Build-Depends: debhelper (>> 3.0.0)
Standards-Version: 3.5.2
Package: klic
Architecture: any
Depends: ${shlibs:Depends}
Suggests: klic-doc
Description: 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 commited-choice logic
programming language family and has sibblings such as Concurrent
Prolog, Parlog, Janus and Fleng.
Package: klic-doc
Architecture: all
Section: doc
Description: Documentation for klic
Documentation and sample KL1 files for the KLIC (KL1 to C compiler system).
|
