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 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

• 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)
  • N-Queens puzzle
  • Pentomino puzzle
• CGI Demonstration
  • Cryptarithmetic puzzle solver
• Screen snapshots (with Java interface)
  • Screen snapshot of 8-Queens puzzle
  • Screen snapshot of Pentomino puzzle
  • Screen snapshot of Knight tour puzzle

Example programs

• Example program (including N-Queens, Knight tour, SEND+MORE=MONEY, Kirkman's puzzle)
  • These programs are explained in ASC'97 paper.
• lolliCoP
• LLPTTP
• LL2LLP
• An interpreter of subset Forum
• Other example programs can be found in here.
  • Benchmark results of N-Queens and Knight's Tour

Publications

• 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

• TLLP: A Temporal Linear Logic Programming Language
• Prolog Cafe
• llprover

Links

• An Overview of Linear Logic Programming (by Dale Miller, PDF)
• A Survey of Linear Logic Programming (by Dale Miller)
• Lolli
• Forum
  • UMA Forum
• Lygon
• Linear logic
• Warren's Abstract Machine: A Tutorial Reconstruction