Qiには、標準ライブラリとしてPrologのインタプリタが搭載されているらしいので、 Prologについて、調べながら少しずつやってみました。 Prologってどんな言語? Prologは、「論理型言語」と呼ばれる言語で、「事実を元に質問の答えを出す」ということをする…

パターンマッチ、カリー化などの機能があり、オプションで静的型付けも使えるLisp系のプログラミング言語「Qi」というのがあるのですが、情報が少ないので、 インストールしてみることにしました。 Ubuntuにインストールします。 QiはCommon Lispで作られて…