現在の位置
backup プラグインを使用中
- List of Backups
- View the diff.
- View the diff current.
- View the source.
- Go to トップページ.
LMNtalEditor?とは †
LMNtalEditor?はプログラミング言語LMNtalの統合開発環境です。
一つのユーザインターフェースでプログラムを書きながらLMNtal処理系やLMNtalモデル検査器を容易に操作することができます。また複雑な設定やインストールを必要しないため、特別な知識がない人でも容易にプログラミングや検証を行うことができます。詳しくはLMNtalEditorの使い方?を見てください。
LMNtalとは †
LMNtalは階層グラフ書き換えに基づく並行言語モデルです。
階層グラフを動的に変化させることで複雑なデータ構造を操作するプログラムや多重集合書き換えを伴うプログラムを簡潔に記述することができます。
例えばリストのソートは以下のように書くことができます。
r([3,2,4,1]). L=[X,Y|H] :- X>Y | L=[Y,X|H].
結果は
r([1,2,3,4]), @601
となります。 LMNtalEditor?でこのプログラムを記述して「LMNtal(Java)」ボタンを押すとこの結果をすぐに得ることができます。
LMNtalについて簡単な記述方法はLMNtalチュートリアルを見てください。 (詳しい言語仕様についてはLMNtalの論文を参照して下さい。)