Prolog

とは推論課題に適したプログラミング言語。非手続き型。非手続き型っていうのは手続きを記述しない。宣言型。宣言型っていうのは「そうならああ、ああならそう。」とプログラムに条件を並べておいて、「じゃ、こうならどうか推論して」と尋ねると解が返る。