SWI-prologとAZ-prologの比較
prologには方言が多い。ISO述語ならば統一されているかと思いきや、そうでもないようだ。少々、両者を比較してみる。
atom_concat/3 (アリティはアトムを想定。なので数値は不可のはずだがSWIではくっついてしまう。まあ、よいことなのかもしれないが)
Welcome to SWI-Prolog (threaded, 64 bits, version 8.4.2)SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This