• 以下の三つのことを調べるために作った習作
  • 論理型言語の処理系の作り方
  • Silverlightアプリケーションの作り方
  • 自動定理証明の手法
• なのであんま実用性ないよ
  • エラー処理とかもしてないし。。。

SLPrologは、Silverlightプラットフォーム上で動作するPrologのインタプリタプログラム。Prologでかかれたプログラムと、ゴールを入力することができる。実行結果は、実行が成功したか失敗したかを表示し、ゴールに変数が含まれて入れば、そのそれぞれの変数がどの項に単一化されたか表示する。この処理系はバックトラックにも対応している。

• Microsoft Silverlightか、Mono ProjectのMoonlightが動作する環境
• 動作確認環境
  • Gentoo Linux 10.1+Firefox
  • Windows Server 2003+IE
  • Mac OS X 10.5+Firefox

実行手順は以下のとおり。

1. Silverlightの実行環境がインストールされたPCで、SLPrologのページ(http://www.sunaga-lab.net/g-pro/sfc/slrun/slprolog.php)へアクセスする
2. [Source Code]タブの中のプログラム入力欄(Program Source Code)にプログラムを入力する
3. [Program]タブにあるゴール記入欄(Goal)にゴールを入力する
4. 実行ボタン(Run)をクリックする
   • 実行結果が結果欄(Result)に表示される
5. 実行に成功したのち、次の解を探索したい場合は、次の解ボタン(Next)をクリックする

• 文字列を扱うことができない。
• 組み込み述語は以下のとおりである
  • 比較演算子(</2、>/2、=</2、>=/2)
  • atom/1
  • is/2
  • print/1
  • nl/0
• カットは利用可能である。