Prologとは、プログラミング言語の一つで、人工知能の開発に適しています。1972年にフランス・マルセイユ大学のAlain Colmerauer氏らにより開発されました。述語論理を応用した非手続型の言語で、推論機構を簡潔に記述できるため、エキスパートシステムなどの人工知能の研究に広く用いられています。
Sites 3
- 神戸大学Prologホームページ 言語の入門テキストのほか、入手可能な処理系についての情報や関連リンクを掲載。
- K-Prolog 日本初のUnix用処理系を拡張した製品。特長、FAQ、マニュアル。
- お気楽Prologプログラミング入門 初心者向けの解説と基本的なアルゴリズムのサンプルを掲載。