【論理】Prolog【初心者】

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

Prolog初心者のスレ

これは良い言語だ…

**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秒