Prologでまったり Part3
at TECH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
100:デフォルトの名無しさん 08/04/16 21:17:48 ttp://www.ifcomputer.com/MINERVA/Manual/Reference/Predicates/logic_and_control/not_provable/home_jp.html > もし、ゴールが失敗すれば、成功し、失敗すれば、成功する。 > もし、ゴール が失敗すれば、成功し、失敗すれば、成功することである。 難しいｗ 101:デフォルトの名無しさん 08/04/16 22:26:35 Pは必ず失敗する、どう定義すればいいのかな。 P :- !,fail. でよさそうに見えるが、誰かが上にこう付け加えた。 P. P :- !,fail. 二行(節)目になった P :- !,fail. はPは必ず失敗するの意味を失うのだろうか。 注..Pの部分にはtrue,fail,!,以外の任意の項がくると考えてください。 102:デフォルトの名無しさん 08/04/25 11:06:04 質問です。SWI-Prologで以下の質問をすると、 ?- assertz(b(1)),b(X). ERROR: Undefined procedure: b/1 これがISOの標準なのですか? 103:デフォルトの名無しさん 08/04/25 11:23:56 次の場合とどうちがうのでしょうか。 ?- assertz((a(X) :- assertz(b(1)),b(X))). X = _G187 yes ?- a(X). X = 1; no となります。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5392日前に更新/90 KB
担当:undef