Prolog

Prologとは、プログラミング言語の一つ。人工知能の開発に適している。1972年にフランス・マルセイユ大学のAlain Colmerauer氏らにより開発された。述語論理を応用した非手続型の言語で、推論機構を簡潔に記述できるため、エキスパートシステムなどの人工知能の研究に広く用いられた。