このシリーズでは、論理型言語であるPrologを使って、手続き型とは異なるプログラミングを体験することでプログラミングの視野を広げることを目的にしています。 論理型言語とは、プログラムの実行を述語論理を用いて、論理演算の証明として処理の流れ ...

prologには方言が多い。ISO述語ならば統一されているかと思いきや、そうでもないようだ。少々、両者を比較してみる。 atom_concat/3 (アリティはアトムを想定。なので数値は不可のはずだがSWIではくっついてしまう。まあ、よいことなのかもしれないが ...

官民創生の人工知能研究はムダじゃなかった！ 今からおよそ30年も前の1982年。日本の通商産業省 （現在の経済産業省） は、 ICOT （財団法人 新世代コンピュータ開発機構） を設立し、 世界に先駆けて人工知能 （AI:Artificial Intelligence） を実現する第5世代 ...