実に様々なソフトウエアが無料で利用できるようになっています。そこで,主に「ソフトウエアを作る環境を楽しくするお役立ちフリーソフト」を集めて,1日1本のペースでご紹介します。 「SWI-Prolog」は「Prolog」という言語の処理系です。Prologは「Programming in Logic」の略で,1970年代にフランスで生まれた言語です。かつては人工知能の研究によく使われていました。 「論理型言語」と呼ばれ,まず「AはBである」「BならばCである」という具合に,複数のデータの関係を示す「命題」を記述しておきます。何かを問い合わせれば,命題の事実関係に矛盾しない答えを自動的に導き出してくれます。C言語のような手続き型言語とも,JavaやC#などのオブジェクト指向言語とも,Haskellのような関数型言語とも違う考え方が基になっているので,ほとんどの方には不思議な言語に見えるかもしれま
![SWI-Prolog](https://cdn-ak-scissors.b.st-hatena.com/image/square/bed39b5962a5d552c95b6d796db8f55e72d32943/height=288;version=1;width=512/https%3A%2F%2Fxtech.nikkei.com%2Fimages%2Fn%2Fxtech%2F2020%2Fogp_nikkeixtech_hexagon.jpg%3F20220512)