尾崎隆大

% Prolog '一般に prologue が使われていた時は、単なる Programing in Logic からの造語に見えていた Prolog が、用語の流行が prologue -> prolog へと変化して、洒落た名前として捉えられようになったのかも知れない。'.https://twitter.com/Ssra_temple/status/1134727748285427713 …

% Prolog 'そう元々「六つの発言」と纏めたのは、ツイッターに述語名を納めるため。不純な動機からの混乱でした。済みません。'.

% Prolog 'ここまで書けば、その関係は明白になるが、 述語名がどれも長くて、140字制限のあるツイッターには不向きなものとなってしまった。'( 'http://nojiriko.asia/prolog/prolog/shi_tennou_3_utf8.html …').

% Prolog 'それでは、何故気が付かない人が出てくるかと言うと、「六つの発言」という表現に具体性がないから。述語名に具体性がないから。どんなに述語名が長くなって、そのために読み難くなっても、この発言、六つが具体的に述語名に表れている方が優れた定義になると思う。'.

% Prolog 'この述語定義の弱点は、 六つの発言と整合する(_四天王の順位) :- の副目標に現れる述語名が乃ち発言であるが、その事に気が付かない人が出てくること。 先程の forall(発言(_発言),call(発言,_四天王の順位)). このような凝った表現をしたのは、その関係を強調したかったから。'.

% Prolog やはり、素直に以下の定義で良いのだろう。 述語集(順列で生成される四天王の順位が六つの発言と整合する/1, 'http://nojiriko.asia/prolog/prolog/shi_tennou_2_utf8.html …').

% Prolog 'Prologプログラマの心理としては、 p :- q1,q2,q3,q4,q5,q6. のような本体に副目標が連なる定義は書きにくい。それでforall/2とcall/2で纏めたのだが、これは6つの副目標の引数が全部同じで済んでいるから。 もう少し複合した条件の場合、引数が異なることになり、これでは済まない。'.https://twitter.com/TakaoOzaki/status/1134706154817220608 …

% Prolog call/2 を使えば、 述語集(順列で生成される四天王の順位が六つの発言と整合する/1, 'http://nojiriko.asia/prolog/prolog/shi_tennou_utf8.html …').

% Prolog 順列で生成した順位が(_四天王の順位) :- 順列(['A','B','C','D'],4,_四天王の順位). 六つの発言と整合する(_四天王の順位) :- 'A「Dがやられたようだな…」'(_四天王の順位), ・・・ , ・・・ , ・・・ , ・・・ , 'C「私はAよりも強い…」'(_四天王の順位).

% Prolog こんな流れがよいかな。 四天王の順位は(_四天王の順位) :- 順列で生成した順位が六つの発言と整合する(_四天王の順位). 順列で生成した順位が六つの発言と整合する(_四天王の順位) :- 順列で生成した順位が(_四天王の順位), 六つの発言と整合する(_四天王の順位).

% Prolog 順列(_,0,[]). 順列(_値ならび,_要素数,[_ある値|_順列]) :- select(_ある値,_値ならび,_残り値ならび), succ(_要素数_1,_要素数), 順列(_残り値ならび,_要素数_1,_順列).

% Prolog 本体の副目標の<<つづき>>です 'A「そして私は最強ではない…」'(_四天王の順位), 'B「四天王の中に私よりも弱いものが最低でも二人いる…」'(_四天王の順位), 'C「私はAよりも強い…」'(_四天王の順位). % あと、順列/3の定義が必要です。

% Prolog '四天王の順位は'(_四天王の順位) :- 順列(['A','B','C','D'],4,_四天王の順位), 'A「Dがやられたようだな…」'(_四天王の順位), 'B「ククク…奴は我ら四天王の中でも最弱…」'(_四天王の順位), 'C「私はBよりも弱い…」'(_四天王の順位), <<つづく>>

% Prolog 'C「私はAよりも強い…」'(_順位順列) :- append(_,['C'|L],_順位順列), member('A',L).

% Prolog 'B「四天王の中に私よりも弱いものが最低でも二人いる…」'(_順位順列) :- append(_,['B'|L],_順位順列), L = [_,_|_].

% Prolog 'A「そして私は最強ではない…」'(_順位順列) :- \+(_順位順列 = ['A'|_]).

% Prolog 'C「私はBよりも弱い…」'(_順位行列) :- append(L,['C'|_],_順位行列), member('B',L).