LLP 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: http://bach.seg.kobe-u.ac.jp/llp/ 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: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers