0001デフォルトの名無しさん2010/11/06(土) 13:00:56
Prolog初心者のスレ
これは良い言語だ…
if と for を使う、普通のプログラミング言語としても使えるよ
if は違うゴール節に入る
for はすべて再帰で書く
それだけのこと
言語を作った人達ですらappendの意味を理解できなかったらしいからな。
0955デフォルトの名無しさん2020/06/08(月) 02:35:20.50ID:OD6feMKZ
Prologを使ったアイデアがいっぱい出てくる
機械学習の可能性に疑問を持ち始めた今こそコレだ!って感じがする笑
これからのテーマは「機械学習じゃ出来ないことをPrologでやろう」だな
因果関係とか戦略的意志決定とか胸が熱くなるんだが笑
0957デフォルトの名無しさん2020/06/08(月) 03:58:01.65ID:OD6feMKZ
>>956
なるほどBRMSか
JBoss BRMSとかいうのを調べたがWebとか色んな分野で使われててかなり面白そうだな
結局、Prologの立ち位置としてはそういうのとか他の色んなアルゴリズムの教育用途に適してるかもって思ったわ
簡潔に書けるし、アルゴリズムの教育に持って来いだな
小学校でヴィジュアルプログラミングとかやってる場合じゃねぇ!w 0959デフォルトの名無しさん2020/07/29(水) 07:26:24.50ID:SoSaYlfN
iZ-Cのサンプルプログラム書き始めたので見てね。
sunasunax.hatenablog.com
0960デフォルトの名無しさん2020/08/02(日) 08:15:30.30ID:W4wBIQXC
0961デフォルトの名無しさん2021/12/03(金) 21:44:45.76ID:E2QPyYLa
A: Dはうそつきです
B: AとDのどちらかは本当のことを言っています
C: Bの言っていることは本当です
D: 私はうそつきではありません
正直者は必ず本当のことを言っています。
うそつきは必ずうそをつきます。
うそつきはいったい誰?
↑この問題って高階述語になるから一階述語論理しか扱えないPrologでは解けないって理解でいいの?
そうだとしたら現代ではコンピューターでどうやって解くの?
ありがとうございます
文章題からこの制約を書き下せる自信がない…(|||´Д`)
制約論理を使わない(使えない)場合はどうしたらいいんだろ
d:-d.なんて書いても無限ループになるだけだし
表を書いてみる
s4 :-
writeln("A B C D"),
writeln(""),
Boolean=[true,false],
forall(
( ( member(A,Boolean)),
( member(B,Boolean)),
( member(C,Boolean)),
( member(D,Boolean))),
( ( A->write("T ");write("F ")),
( B->write("T ");write("F ")),
( C->write("T ");write("F ")),
( D->write("T ");write("F ")),
( ( A -> D=false ; D=true),
( B -> (A=true ; D=true) ; A=false,D=false),
C=B
-> writeln("○")
; writeln("×")))).
10011001Over 1000Thread
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 4556日 7時間 59分 56秒