Ｐｒｏｌｏｇ

Prologは論理プログラミング言語の一種で、人工知能の研究によく用いられる。

彼は大学の演習で、Prologを使ってパズルを解くプログラムを作成した。

「この問題はPrologの再帰的な記述を使えば、簡単に解決できるはずだ」と彼は言った。