Prolog初心者のスレ
これは良い言語だ…
【論理】Prolog【初心者】
レス数が1000を超えています。これ以上書き込みはできません。
1デフォルトの名無しさん
2010/11/06(土) 13:00:56972デフォルトの名無しさん
2022/11/16(水) 09:10:20.86ID:CQNdPPMd 表を書いてみる
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("×")))).
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("×")))).
973デフォルトの名無しさん
2023/04/28(金) 14:17:28.49ID:8wk3+eV/ 、
974デフォルトの名無しさん
2023/04/28(金) 14:18:28.04ID:8wk3+eV/ こんばんは
975デフォルトの名無しさん
2023/04/28(金) 14:18:45.43ID:8wk3+eV/ サイフォン
976デフォルトの名無しさん
2023/04/28(金) 14:19:22.07ID:8wk3+eV/ てえすと
977デフォルトの名無しさん
2023/04/28(金) 14:19:35.56ID:8wk3+eV/ 究極のテスト
978デフォルトの名無しさん
2023/04/28(金) 14:19:58.05ID:8wk3+eV/ 。
979デフォルトの名無しさん
2023/04/28(金) 14:20:16.76ID:8wk3+eV/ 。?
980デフォルトの名無しさん
2023/04/28(金) 14:20:31.31ID:8wk3+eV/ マルチメディアってわけですね
981デフォルトの名無しさん
2023/04/28(金) 14:21:01.39ID:8wk3+eV/ え?
982デフォルトの名無しさん
2023/04/28(金) 14:21:07.70ID:8wk3+eV/ マジなのか?
983デフォルトの名無しさん
2023/04/28(金) 14:43:40.60ID:8wk3+eV/ めすや
984デフォルトの名無しさん
2023/04/28(金) 14:43:49.65ID:8wk3+eV/ ファイト
985デフォルトの名無しさん
2023/04/28(金) 15:28:13.87ID:8wk3+eV/ を
986デフォルトの名無しさん
2023/04/28(金) 15:28:19.38ID:8wk3+eV/ ルンバ
987デフォルトの名無しさん
2023/04/28(金) 16:33:24.56ID:1++JLEfi てすや
988デフォルトの名無しさん
2023/04/28(金) 16:33:30.09ID:1++JLEfi マジで
989デフォルトの名無しさん
2023/04/28(金) 20:43:36.57ID:tkMERdaz アドバンス
990デフォルトの名無しさん
2023/04/28(金) 20:56:50.79ID:tkMERdaz テスト
991デフォルトの名無しさん
2023/04/28(金) 20:57:07.91ID:tkMERdaz 、
992デフォルトの名無しさん
2023/04/28(金) 20:57:43.18ID:tkMERdaz 田中
993デフォルトの名無しさん
2023/04/28(金) 20:58:09.56ID:tkMERdaz この頃
994デフォルトの名無しさん
2023/04/28(金) 20:58:39.01ID:tkMERdaz こんばんは
995デフォルトの名無しさん
2023/04/28(金) 20:59:00.21ID:tkMERdaz 商店街
996デフォルトの名無しさん
2023/04/28(金) 20:59:20.67ID:tkMERdaz 。、
997デフォルトの名無しさん
2023/04/28(金) 20:59:45.91ID:tkMERdaz コンフィデンス
998デフォルトの名無しさん
2023/04/28(金) 21:00:11.27ID:tkMERdaz ごフレ
999デフォルトの名無しさん
2023/04/28(金) 21:00:17.86ID:tkMERdaz 。
1000デフォルトの名無しさん
2023/04/28(金) 21:00:52.22ID:tkMERdaz にたな
10011001
Over 1000Thread このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 4556日 7時間 59分 56秒
新しいスレッドを立ててください。
life time: 4556日 7時間 59分 56秒
レス数が1000を超えています。これ以上書き込みはできません。
ニュース
- 高市首相の答弁書に「台湾有事答えない」と明記 存立危機発言当時 ★7 [蚤の市★]
- 最新版Z級クソ映画ランキングが決定! [牛丼★]
- 【STARTO ENTERTAINMENT】SUPER EIGHTの横山裕、フジ『ドッキリGP』ロケで全治2ヶ月の重傷 [Ailuropoda melanoleuca★]
- 「1800万円の売り上げゼロに…」中国インバウンドに特化の宿の今 ★2 [蚤の市★]
- 公用車カーナビのNHK受信料「全額免除を」 千葉市議会、国に制度創設求める意見書可決 [少考さん★]
- 【食】「シャウエッセンは焼くべからず」暗黙のルールを破り売上高過去最高…日本ハム社員たちが「夜味」にかけた情熱 [ぐれ★]
- 死にたい
- ニュース「日中関係の冷え込み」
- 国民「物価高なんとかして」自民党「デフレ脱却!」
- 【朗報】南鳥島のレアアース、中国産の「20倍の純度」青山繁晴氏「日本は資源大国」日本復活のファンファーレが鳴り響く! [673057929]
- 月がきれいですね。
- __AIPACから遠隔操作まで理解、他におらず? [827565401]
