LLP+LINEAR+LOGIC=PROLOG

LLP:
A Linear Logic Programming Language
and its Compiler System

Last modified: Sun Aug 21 23:36:14 2011 JST

[ English | Japanese ]

LLP is a logic programming language based on intuitionistic linear logic. LLP is a superset of Prolog and a subset of Lolli developed by Josh Hodas and Dale Miller.

LLP system consists of:
LLP to LLPAM (extended WAM) translator (written in Prolog) and
LLPAM emulator (written in C).

LLP is distributed as free software for non-profit use. Any comments and suggestions are welcome!

What's New

Download

The newest package is llp051.tar.gz (330KB, Released on Apr 19, 2002). It includes full source code of LLP compiler, LLPAM emulator, built-in predicates, Java interface (Java invokes LLP as a child process, and communicates with it through pipes), a Forum subset interpreter, and lolliCoP theorem prover.
Here is the contents of the package.
Please also check files: README.LLP, CHANGES, and BUILTINS.

Requirements

You need the following systems to use LLP compiler.

Demonstrations

Example programs

Publications

Please cite one of the following papers if you want to refer LLP in your paper.

Project Members

Related Softwares

Links


Naoyuki Tamura / Mutsunori Banbara
This page has been accessed ????? times since Jan 1, 1999.