アルゴリズムを書かない！？論理型言語 Prolog 紹介 - Qiita

この記事について 論理型言語 Prolog について、数学的な概念の説明を省いて概要を説明し、ごく簡単な文法だけを用いて魔方陣のパズルの解を得るプログラムを作ります。 Prolog との出会い ある日、「７つの言語 ７つの世界」という本が面白いと聞いて、早速買って読んでみました。 そのうちの１つに Prolog があったのですが、それまで手続き型言語しか書いたことのなかった私は、この言語がアルゴリズムを書かないというところに、衝撃を受けました。 で、興味がわいたのです。 Prolog とは？ Prolog は 1972 年に Colmerauer と Philippe Roussel によって開発された論理型言語で、数学や自然言語処理の分野で使われています。 ちなみに、名称の由来はフランス語の「PROgrammation en LOGique」だそうです。 Prolog では、手続き型言語