【論理】Prolog【初心者】

**デフォルトの名無しさん** · 2010/11/06(土) 13:00:56

Prolog初心者のスレ

これは良い言語だ…

**デフォルトの名無しさん** · 2020/06/05(金) 11:21:23.43

てかPrologスレってもう一個あるんだけどどっちかに統一しないか？
ただでさえ人少ないのに２つもいらんだろ
↓こっちの方が人多そう
http://itest.5ch.net/mevius/test/read.cgi/tech/1490334702

**デフォルトの名無しさん** · 2020/06/05(金) 12:48:16.98

今朝 7 時過ぎに某知恵袋にこんな投稿があった。

A : B は嘘つき
B : A か C が嘘つき
C : A が嘘つき
誰が嘘つきなのか調べるプログラムを書いてくれ

Prolog で書いてる間にこの投稿は削除された。
仕方ないからこっちに貼っておく。

evi_a( Liar) :- member( b/1, Liar).
evi_b( Liar) :- member( a/1, Liar) ; member( c/1, Liar).
evi_c( Liar) :- member( a/1, Liar).

p_evi( Liar,[]) :- write( Liar),nl.
p_evi( Liar,[P/Evi|T]) :-
G =.. [Evi,Liar],
( member( P/1, Liar) -> \+( G) ; G),
p_evi( Liar,T).

p_ml([]).
p_ml([[A,B,C]|T]) :-
Liar = [a/A,b/B,c/C],
( p_evi( Liar,[a/evi_a,b/evi_b,c/evi_c]) ; true ),
p_ml( T).

main :-
p_ml([[0,0,0],[0,0,1],[0,1,0],[0,1,1],[1,0,0],[1,0,1],[1,1,0],[1,1,1]]).

**デフォルトの名無しさん** · 2020/06/05(金) 15:03:37.36

>>945
は:ーい.忘れた:ー.
このスレは無かった:-存在しません.
記憶にございませんwというのは嘘つき？
>>947
？ABC:－大人はみ:ーんな大ウソつき

**デフォルトの名無しさん** · 2020/06/05(金) 22:46:33.92

Prologが何かわからないので誘導されて
1レスから943レスまで目を回してみたけど
初心者向けなんですかここ？
何をどうするプログラムなのかが
ジャンルすら不明でまったく意味不明です。
まずPrologは何が何でPrologの
ハローワールドの実行方法を教えてください。

**デフォルトの名無しさん** · 2020/06/06(土) 12:00:17.93

:- writeln('hello world'),halt.

**デフォルトの名無しさん** · 2020/06/06(土) 13:34:07.16

>>949
knowledge base(=factとrule)を書いてそれに対してqueryを投げて答えを得る
そういうスタイルで書く言語

原理的にはパターンマッチとbacktrack
論理パズルや組み合わせ問題なんかは比較的簡単に書ける
(が他言語でsolverを使う場合に比べると遅いことが多い)

http://www.learnprolognow.org/lpnpage.php?pagetype=html&;pageid=lpn-htmlse1
↑このチュートリアルを読みつつ
↓ここで試すといい
https://swish.swi-prolog.org/

**デフォルトの名無しさん** · 2020/06/07(日) 02:24:51.84

>>950
ありがとうございます。なるほど１行でハロワ書けるんですか、でもそれでゲームのNPCにどうやって自然言語処理するのに使うんでしょうか？
プログラムなんて変数配列とif分岐とfor繰り返しでほぼ全て出来てると聞きましたけど、
それとは違うなんかデータの塊のような
Prolog ってヘンテコな変わったプログラミング言語なんですね。
六法全書読み込んで判例教えたら判決が出力されるんですか？
>>951
MySQLとかPythonのプロンプトような感じでしょうか？
コンソールで問い合わせて答えを得る的な基本CUI？
データベースのようなデータベースと違うようなイライザのようなチャット？
クエリー？エキスパートシステムの雛形？
第一引数にファイル渡すと読み込むんでしょ？
これはコマンドラインで引数渡して戻り値を取得する見たいに出来ないんですかね？
HTMLのActiveXからJScriptで受け取ったりとか

**デフォルトの名無しさん** · 2020/06/07(日) 14:20:37.65

if と for を使う、普通のプログラミング言語としても使えるよ
if は違うゴール節に入る
for はすべて再帰で書く
それだけのこと

**デフォルトの名無しさん** · 2020/06/07(日) 19:52:04.82

言語を作った人達ですらappendの意味を理解できなかったらしいからな。

**デフォルトの名無しさん** · 2020/06/08(月) 02:35:20.50

Prologを使ったアイデアがいっぱい出てくる
機械学習の可能性に疑問を持ち始めた今こそコレだ！って感じがする笑
これからのテーマは「機械学習じゃ出来ないことをPrologでやろう」だな
因果関係とか戦略的意志決定とか胸が熱くなるんだが笑

**デフォルトの名無しさん** · 2020/06/08(月) 03:13:29.00

>>955
http://www.iluminado.jp/

その辺のシンボリックAIは80年代、90年代前半に色々検証されてBRMSに名前を変えて残っている。
結局、ブラックボックスになってメンテができないとか、データの精度がとか今の機械学習とおんなじ過ちを30
年前もやっている。

**デフォルトの名無しさん** · 2020/06/08(月) 03:58:01.65

>>956
なるほどBRMSか
JBoss BRMSとかいうのを調べたがWebとか色んな分野で使われててかなり面白そうだな
結局、Prologの立ち位置としてはそういうのとか他の色んなアルゴリズムの教育用途に適してるかもって思ったわ
簡潔に書けるし、アルゴリズムの教育に持って来いだな
小学校でヴィジュアルプログラミングとかやってる場合じゃねぇ！ｗ

**デフォルトの名無しさん** · 2020/06/08(月) 07:17:09.08

>>957
　俺はロジカルシンキングの代わりに頭の中でPrologを動かしているw。
オブジェクト指向と同じ、ある種の試行訓練やな。

**デフォルトの名無しさん** · 2020/07/29(水) 07:26:24.50

iZ-Cのサンプルプログラム書き始めたので見てね。
sunasunax.hatenablog.com

**デフォルトの名無しさん** · 2020/08/02(日) 08:15:30.30

>>959
https://sunasunax.hatenablog.com

**デフォルトの名無しさん** · 2021/12/03(金) 21:44:45.76

A: Dはうそつきです
B: AとDのどちらかは本当のことを言っています
C: Bの言っていることは本当です
D: 私はうそつきではありません

正直者は必ず本当のことを言っています。
うそつきは必ずうそをつきます。
うそつきはいったい誰？

↑この問題って高階述語になるから一階述語論理しか扱えないPrologでは解けないって理解でいいの？
そうだとしたら現代ではコンピューターでどうやって解くの？

**デフォルトの名無しさん** · 2021/12/03(金) 23:00:48.21

prologは高階述語も書けるよ

**デフォルトの名無しさん** · 2021/12/04(土) 06:16:48.61

>>962
実装選ぶ必要ありますか？どれでも可能？

**デフォルトの名無しさん** · 2021/12/04(土) 07:37:52.32

よく分からんけど高階論理は不要で、制約論理で解けるんじゃないか
https://www.swi-prolog.org/pldoc/man?section=clpb

Aの発言は Aが真ならDは偽、Aが偽ならDは真という制約になり、これは A=:=(~D) と表せる
Bの発言は B=:=(A+D)、Cの発言は C=:=B、Dの発言は D=:=D と表せる
まとめると ?- sat((A=:=(~D)) * (B=:=(A+D)) * (C=:=B) * (D=:=D)). となり答は
B = C, C = 1, sat(A=\=D). となる
これはBとCは正直、AとDのうち一人は正直でもう一人は嘘つきだけどどちらが嘘つきかは分からないということ

**デフォルトの名無しさん** · 2021/12/04(土) 23:56:43.15

ありがとうございます
文章題からこの制約を書き下せる自信がない…(|||´Д｀)

**964** · 2021/12/06(月) 19:23:33.90

>>965
正直者は必ず本当のことを言い、うそつきは必ずうそをつくという条件があるので
Aが正直者であるかどうかとAが言っていることが正しいかどうかの真偽は同じになるということで、それを制約論理の式で表すだけ
A=:=(~D)は、A(Aが正直者であること)と(~D)(Aの発言内容「Dは嘘つきだ」)の真偽が一致している(=:=)ということ
Aが真なら(~D)も真だし、Aが偽なら(~D)も偽
他の３人についても同様
これをリンク先にある制約論理で表す
０　　　偽
1　　　真
~P　　　not P
P*Q　　P and Q
P+Q　　P or Q
P=<Q　　PならばQ
P=:=Q　　PとQの真偽は同じ
P=\=Q　　PとQの真偽は異なる

**964** · 2021/12/06(月) 19:33:58.30

制約論理を使わない(使えない)場合はどうしたらいいんだろ
d:-d.なんて書いても無限ループになるだけだし

**デフォルトの名無しさん** · 2022/11/14(月) 14:12:20.00

>>961-967
こういうのとか

s(A,B,C,D) :-
( A=true; A=false),
( B=true; B=false),
( C=true; C=false),
( D=true; D=false),
( A=true -> D=false ; true),
( A=false -> D=true ; true),
( B=true -> (A=true ; D=true); true) ,
( B=false -> A=false,D=false ; true),
C=B.

考え方は>>966と同じ
>正直者は必ず本当のことを言い、うそつきは必ずうそをつくという条件があるので
>Aが正直者であるかどうかとAが言っていることが正しいかどうかの真偽は同じになる

SWI-Prologで実行したら解は2つ

A = B, B = C, C = true, D = false
A,B,Cが正直者でDが嘘つき

A = false, B = C, C = D, D = true
Aが嘘つきでB,C,Dが正直者

これと同じだな
>これはBとCは正直、AとDのうち一人は正直でもう一人は嘘つきだけど
>どちらが嘘つきかは分からない

**デフォルトの名無しさん** · 2022/11/15(火) 01:18:50.21

>>968
変えてみた

s2(A,B,C,D) :-
( A=true; A=false),
( B=true; B=false),
( C=true; C=false),
( D=true; D=false),
( A -> D=false ; D=true),
( B -> (A=true ; D=true) ; A=false,D=false),
C=B.

**デフォルトの名無しさん** · 2022/11/15(火) 01:39:59.69

>>969
変えてみた

s3(A,B,C,D) :-
Boolean=[true,false],
( member(A, Boolean)),
( member(B, Boolean)),
( member(C, Boolean)),
( member(D, Boolean)),
( A -> D=false ; D=true),
( B -> (A=true ; D=true) ; A=false,D=false),
C=B.

**デフォルトの名無しさん** · 2022/11/16(水) 07:59:27.34

>>961
R. Smullyanのto mock a mocking birdの前編はこういう問題の宝庫でおすすめ
多分最も影響力のある論理学の啓蒙書だから釈迦に説法かもしれんが

公務員試験でもあるな、これくらいなら表書けば解ける、多分

**デフォルトの名無しさん** · 2022/11/16(水) 09:10:20.86

表を書いてみる

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("×")))).

**デフォルトの名無しさん** · 2023/04/28(金) 14:17:28.49

、

**デフォルトの名無しさん** · 2023/04/28(金) 14:18:28.04

こんばんは

**デフォルトの名無しさん** · 2023/04/28(金) 14:18:45.43

サイフォン

**デフォルトの名無しさん** · 2023/04/28(金) 14:19:22.07

てえすと

**デフォルトの名無しさん** · 2023/04/28(金) 14:19:35.56

究極のテスト

**デフォルトの名無しさん** · 2023/04/28(金) 14:19:58.05

。

**デフォルトの名無しさん** · 2023/04/28(金) 14:20:16.76

。？

**デフォルトの名無しさん** · 2023/04/28(金) 14:20:31.31

マルチメディアってわけですね

**デフォルトの名無しさん** · 2023/04/28(金) 14:21:01.39

え？

**デフォルトの名無しさん** · 2023/04/28(金) 14:21:07.70

マジなのか？

**デフォルトの名無しさん** · 2023/04/28(金) 14:43:40.60

めすや

**デフォルトの名無しさん** · 2023/04/28(金) 14:43:49.65

ファイト

**デフォルトの名無しさん** · 2023/04/28(金) 15:28:13.87

を

**デフォルトの名無しさん** · 2023/04/28(金) 15:28:19.38

ルンバ

**デフォルトの名無しさん** · 2023/04/28(金) 16:33:24.56

てすや

**デフォルトの名無しさん** · 2023/04/28(金) 16:33:30.09

マジで

**デフォルトの名無しさん** · 2023/04/28(金) 20:43:36.57

アドバンス

**デフォルトの名無しさん** · 2023/04/28(金) 20:56:50.79

テスト

**デフォルトの名無しさん** · 2023/04/28(金) 20:57:07.91

、

**デフォルトの名無しさん** · 2023/04/28(金) 20:57:43.18

田中

**デフォルトの名無しさん** · 2023/04/28(金) 20:58:09.56

この頃

**デフォルトの名無しさん** · 2023/04/28(金) 20:58:39.01

こんばんは

**デフォルトの名無しさん** · 2023/04/28(金) 20:59:00.21

商店街

**デフォルトの名無しさん** · 2023/04/28(金) 20:59:20.67

。、

**デフォルトの名無しさん** · 2023/04/28(金) 20:59:45.91

コンフィデンス

**デフォルトの名無しさん** · 2023/04/28(金) 21:00:11.27

ごフレ

**デフォルトの名無しさん** · 2023/04/28(金) 21:00:17.86

。

**デフォルトの名無しさん** · 2023/04/28(金) 21:00:52.22

にたな

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 4556日 7時間 59分 56秒