| Languages & Compilers
LLP (Linear Logic Prolog) is a logic programming language based on intuitionistic linear logic.
LLP is a superset of Prolog and a subset of Lolli.
Current Version: 0.42
License Type: Free for Non-Profit Use
Source Code Availability: Yes
Available Binary Packages:
- Debian Package: No
- RedHat RPM Package: No
- Other Packages: No
Unix, It works well on Linux, since Linux is the developing platform for LLP.
Prolog system is used to compile LLP program into abstract machine code.
The author uses SICStus Prolog 2.1 (commercial) and
BinProlog 5.00 (free).
Abstract machine emulator is written in ANSI C. The author uses GNU C
compiler (gcc) version 2.7.0.
Mailing Lists/USENET News Groups:
See A Screen Shot? (Not Yet)
Copyright © 1995-2001 by
Copyright © 1997-2001 by
Kachina Technologies, Inc.
All rights reserved.