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
- Aug 18, 2011:
Some information and links are updated.
- Apr 19, 2002:
LLP version 0.51 is released.
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.
- ANSI C compiler
Abstract machine emulator is written in ANSI C.
I am using GNU C compiler version.
- Prolog system
Prolog system is used to compile LLP program into abstract
machine code (an extended WAM).
I am using
SICStus Prolog
(commercial).
- Targeted Platforms
Unix systems including Linux and Sun SPARC.
Demonstrations
- Applet Demonstration
(using
Prolog Cafe)
- CGI Demonstration
- Screen snapshots (with Java interface)
Example programs
Publications
Please cite one of the following papers if you want to refer LLP in your paper.
-
Joshua S. Hodas, Kevin Watkins, Naoyuki Tamura, and Kyoung-Sun Kang:
Efficient Implementation of a Linear Logic Programming Language,
Proceedings of
the 1998 Joint International Conference and Symposium on Logic Programming
(JICSLP '98),
pages 145--159, June 1998.
[DBLP]
-
Mutsunori Banbara and Naoyuki Tamura:
Compiling resources in a linear logic programming language,
Proceedings of the JICSLP'98 Post Conference Workshop 7 on
Implementation Technologies for Programming Languages based on
Logic, pp.32-45, June 1998.
[DBLP]
-
Naoyuki Tamura and Yukio Kaneda:
Extension of WAM for a Linear Logic Programming Language,
Second Fuji International Workshop
on Functional and Logic Programming,
(editors T. Ida, A. Ohori, and M. Takeichi),
pages 33--50, World Scientific, 1996.
-
Mutsunori Banbara and Naoyuki Tamura:
Translating a Linear Logic Programming Language into Java,
Electronic Notes in Theoretical Computer Science, Elsevier, Vol.30, No.3, pp.19-39, November, 1999.
-
Mutsunori Banbara, Naoyuki Tamura and Katsumi Inoue:
Prolog Cafe : A Prolog to Java Translator System,
Proceedings of the 16th International Conference on
Applications of Declarative Programming and Knowledge
Management (INAP 2005), LNCS 4369, pp.1-11, October, 2005.
-
Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, and Naoyuki Tamura:
Proceedings of the 2001 International Conference on Logic Programming (ICLP 2001),
LNCS 2237, pp.315-330, November, 2001.
- LLP related papers
- Prolog Cafe related papers
Project Members
-
Naoyuki Tamura (Professor, Project leader)
-
Mutsunori Banbara
(Associate Professor)
- Kyoung-Sun Kang
- Alumni:
Eiji Sugiyama,
Fumiko Anno,
Tomoaki Kume,
Tadanori Wakamatsu,
Rikiya Shirosaki,
Atsushi Yukawa,
Yuichi Ikeda,
Hideo Yoshikawa,
Yuu Uchiyama,
Shuji Ohnishi
Related Softwares
Links
Naoyuki Tamura / Mutsunori Banbara