Prolog

大阪・兵庫・京都・和歌山・奈良・滋賀のPrologとは

Prolog（プロローグ、プロログ）はコンピュータに用いる非手続き型言語 非手続き型プログラミング言語の一つ。論理型言語に分類される。名称は”Programming in Logic” の略。
1972年ごろにフランスのカルメラウアーとコワルスキーによって考案された。プログラム (コンピュータ) プログラムは一階述語論理に基づいてデータ間の関係を示す命題として記述され、処理系がそれらにパターンマッチ パターンマッチング（ユニフィケーション）を施しながら、与えられた命題が成立するか再帰的手続きによって探索する。
人工知能におけるトップ・ダウン式の問題解決と相性が良いために、人工知能研究とエキスパートシステムの実現のための主要言語として広く採用された。