Prologでまったり Part4
at TECH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
650:デフォルトの名無しさん 09/11/29 13:18:18 2年以上前ですがこんなのあったんですね。 渕一博記念コロキウム 『論理と推論技術：四半世紀の展開』 http://www.ueda.info.waseda.ac.jp/fuchi-colloquium/ http://www.ueda.info.waseda.ac.jp/fuchi-colloquium/programme.html 651:デフォルトの名無しさん 09/11/30 08:27:15 ああ、全容わかんないって言っちゃったけど、大体分かった気がする。 オントロジーやりたかっただけじゃん。 652:デフォルトの名無しさん 09/12/01 06:25:46 >>648 典型的には、 p(quit,_). p(A,X) :- q(A,X). p(A,X) :- q(A,_),!,r(A,B),p(B,X). p(A,X) :- s(A,C),p(C,X). のような定義かな。 完全にこの形式のものとなると少ないでしょう。 653:デフォルトの名無しさん 09/12/01 06:38:12 p(quit,_). p(A,X) :- q(A,X). p(A,X) :- q(A,B),!,p(B,X). p(A,X) :- s(A,C),p(C,X). という場合も多いのかな。q/2の中の副作用だけ取り除いた、 q2/2を定義して、 p(quit,_). p(A,X) :- q(A,X). p(A,X) :- q2(A,B),!,p(B,X). p(A,X) :- s(A,C),p(C,X). も考えられる。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
4808日前に更新/227 KB
担当:undef