SAL Home PROGRAM 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

Home Site:

Source Code Availability:   Yes

Available Binary Packages:

  • Debian Package:   No
  • RedHat RPM Package:   No
  • Other Packages:   No

Targeted Platforms:

Unix, It works well on Linux, since Linux is the developing platform for LLP.

Software/Hardware Requirements:

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.

Other Links:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.