LLP+LINEAR+LOGIC=PROLOG

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は非営利の使用についてはフリーです. コメントや御意見をお待ちしています!

最新情報

ダウンロード

最新のパッケージは llp051.tar.gzです (330KB, Apr 19, 2002リリース). LLPコンパイラ,LLPAMエミュレータ,組込述語, Javaインターフェイス (Java中からLLPが子プロセスとして起動され,パイプを通じて通信する), Forum インタプリタ(サブセット), lolliCoP theorem proverのソースコードが含まれています.
こちらがパッケージの内容です.
詳しくは以下のファイルを参照して下さい: README.LLP, CHANGES, BUILTINS.

必要なもの

LLPコンパイラを使用するには,以下のシステムが必要です.

デモンストレーション

プログラム例

論文など

引用の際は,Webページではなく以下のいずれかの論文の引用をお願いします.

プロジェクトのメンバー

関連ソフトウェアのページ

リンク


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