はじめに この記事は、SLP KBIT Advent Calendar 2015 - Adventar 23日目の記事となります。 今回が初めての参加となります。よろしくお願いします。 あと、ブログを書くのは初めてです。ご了承ください。 Prolog(プロログ)とは? Prolog (Programming in Logic)はプログラミング言語です。C言語やPerl、Pythonなどが手続き型言語、LISPは関数型言語と言われていますが、Prologは論理型言語と言われています。 人工知能とかPrologでできるとか。 手続き型と何が違うのか Prologは物事の間で成り立つ関係を定義していきます。この定義されたものを事実(fact)と言い、事実関係を問い合わせることでプログラムが動作します。 C言語等はコンピュータに処理させる内容を順に書いてプログラミングしていきますが、Prologは