LLP:
A Linear Logic Programming Language
and its Compiler System
Last modified: Sun Aug 21 23:36:40 2011 JST
[ English | Japanese ]
LLPは直観主義
線形論理
に基づいた論理型言語です．
LLPはPrologのスーパーセットになっており，
Josh Hodasと
Dale Millerによって
設計された
Lolli
のサブセットになっています．
LLP処理系は，以下のものからなっています．
- LLPからLLPAM (拡張WAM) へのトランスレータ (Prologで記述)
- LLPAMエミュレータ (Cで記述)
LLPは非営利の使用についてはフリーです．
コメントや御意見をお待ちしています!
最新情報
- Aug 18, 2011:
情報やリンクを更新しました．
- Apr 19, 2002:
LLP version 0.51のリリース
ダウンロード
- 最新のパッケージは
llp051.tar.gzです
(330KB, Apr 19, 2002リリース)．
LLPコンパイラ，LLPAMエミュレータ，組込述語，
Javaインターフェイス
(Java中からLLPが子プロセスとして起動され，パイプを通じて通信する)，
Forum
インタプリタ(サブセット)，
lolliCoP theorem proverのソースコードが含まれています．
- こちらがパッケージの内容です．
- 詳しくは以下のファイルを参照して下さい:
README.LLP,
CHANGES,
BUILTINS.
必要なもの
LLPコンパイラを使用するには，以下のシステムが必要です．
- ANSI Cコンパイラ
抽象マシンのエミュレータはANSI Cで書かれています．
開発には，GNU C compilerを使用しました．
- Prolog処理系
Prolog処理系は，LLPのプログラムを抽象マシン命令(拡張WAM)に
コンパイルするために利用されます．
開発には，
SICStus Prolog
3.7.1 (商用)
を使用しました．
- ターゲットのプラットフォーム
Linux, Sun SPARCなどのUnixシステム．
デモンストレーション
- Appletのデモ
(
Prolog Cafeを使用)
- CGIのデモ
- スクリーンのスナップショット (Javaインターフェイス使用)
プログラム例
- 例題プログラム
(N-Queens, Knight tour, SEND+MORE=MONEY,
Kirkman's puzzleなど)
- 一階述語論理の定理証明器: lolliCoP
- 一階述語論理の定理証明器: LLPTTP
- 節形式の論理式をLLPプログラムに変換し，証明探索するシステム
- 論文
- 古典命題線形論理の定理証明器: LL2LLP
- 古典命題線形論理の論理式をLLPプログラムに変換し，証明探索するシステム
- 論文
- 古典線形論理に基づく言語である
Forumのサブセットの
インタプリタ
- その他のプログラム例は，
こちらを参照
論文など
引用の際は，Webページではなく以下のいずれかの論文の引用をお願いします．
-
姜京順，番原睦則，田村直之:
線形論理型言語の効率的なリソース管理モデル,
コンピュータソフトウェア, Vol.18, No.0 (2001), pp.138-154.
-
番原睦則，姜京順，田村直之:
線形論理型言語のコンパイラ処理系のための抽象機械について,
コンピュータソフトウェア, Vol.18, No.1 (2001), pp.39-60.
-
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関連論文一覧 (アブストラクト，PDFを含む)
- Prolog Cafe関連論文一覧 (アブストラクト，PDFを含む)
プロジェクトのメンバー
-
田村直之 (教授，プロジェクトリーダ)
-
番原睦則
(准教授)
- 姜京順
- OB/OG:
杉山英二(1996年修了)，
阿武富美子(1996年卒業)，
久米友明(1996年卒業)，
若松匡則(1996年卒業)，
城崎利貴也(1997年修了),
湯川敦(1997年卒業)，
池田雄一(1998年修了)，
吉川英男(2001年修了)，
内山雄(2002年修了)，
大西秀志
関連ソフトウェアのページ
リンク
Naoyuki Tamura / Mutsunori Banbara
