NO WAR. FREE TIBET. Exterminate Kikes
The US Forces Shall Withdraw from Middle East and Japan
日本人は馬鹿ぞろいじゃなかった！
祝！政権交代実現！祝！民主党社民党連立政権樹立！
本当にいい選挙でした
今後新政権には、頑張って、高速道路無料化、揮発油税等の暫定税率の完全廃止、
最低賃金の全国平均1000円、定住外国人の地方参政権を実現して欲しい
嫡出推定制度の改善、選択的夫婦別姓の導入、婚外子（非摘出子）の相続差別
をなくすなど、アナクロな明治をひきずった民法改正も即やって欲しい
日の丸君が世の入学式卒業式での掲揚斉唱廃止、作る会教科書の駆逐など、
日教組教育の推進に努め、愛国心教育や前政権が行なっていた
馬鹿げた道徳教育を排除して欲しい
糞神社靖国に代わる特定の宗教性をもたない
新たな国立追悼施設の設置もすぐやるべきだ
縦割行政による無駄使いの廃止、官僚の天下り全面禁止は勿論、
道路建設や整備新幹線計画などすべて廃止すべきだ
白痴の元馬鹿総理、森喜朗の落選運動は、
私はずっとやっていこうと思ってます。
白痴の元馬鹿総理、しぶとい森喜朗を次こそ落選させよう！
民主党政権を支持します
Guutara Lisp over Java
JavaでLISP S式を処理するためのクラス、
およびそのLISP S式を処理する基本的なLISP関数機能の実装を
提供します
Gnu Kawa Scheme System
を使用しています。
クラスソースファイルの単体は
これをダウンロードして下さい。
このクラスの実際の使用例として、
古典的なAIプログラムサンプルも付属しています。
このAIプログラムサンプルは、
Stuart C. Shapiro著、松田利夫訳、共立出版発行の
「LISPによる人工知能の基礎技法」ISBN4-320-02253-X C3041
等を参考に作成しました。
このAIサンプルを含めたソースパッケージは
これをダウンロードして下さい。
このAIサンプルの使い方（例）：
「LISPによる人工知能の基礎技法」第4章4.2節の導出証明法を
実装しています。
例題にある「ソクラテスは死を免れない」の証明をします。
sh-2.05b$ java jp.sourceforge.glj.graph.ClauseNode "((((A x)((human x) => (mortal x))) (human Socrates)) (mortal Socrates))" 2> /dev/null
solution
0 ((~ (human @x0)) (mortal @x0)) premis ((~ (human @x0)) (mortal @x0))
1 ((human Socrates)) premis ((human Socrates))
2 ((~ (mortal Socrates))) conclusion ((~ (mortal Socrates)) (mortal Socrates))
3 ((~ (human Socrates))) R 2 0 ((mortal Socrates) (~ (human Socrates)))
4 () R 3 1 ((mortal Socrates))
解の0〜4の各行は、前提、結論、導出の各節を表示しています。
各節は、節の式、属性(premis、conclusion、または導出過程）、および、
3番目に結論では結論およびその否定を合わせた式を表示します。
4では空節が導かれますが、その結果ユニフィケーションされた
結論が、3番目に表示されます。
解が導けない場合、no solutionと表示されます
（注意）標準エラー出力(stderr)を/dev/nullにキャストしているのは、
大量のデバッグログ出力が表示されて、見るのに紛らわしいと思われるからです。
質問、バグレポート、バグ修正、その他は、
GLJ開発者
までどうぞ
トップページ