Prolog Cafe: Java 上で動作するProlog 処理系

摘要

Prolog（PROgramm in LOGic）は．1974年こフランスのColmerauerらにより開発されたプログラミング言語である．特にAIプログラムの記述·削発に過しているといわれ，日本では通産省の第五世代コンピュータプロジェクトの核言語として採用されたことでも知られる．