什麼是邏輯語言

Prolog(Programming in logic)是一種面向演繹推理的邏輯型程序設計語言，最早於1972年由柯爾麥倫納(Colmeraner)及其研究小組在法國馬賽大學提出。

面向演繹推理的邏輯型語言。

1972年關於邏輯編程語言Prolog以處理一階謂詞演算爲背景，由於其簡單的文法、豐富的表達力和獨特的非過程語言的特點，很適合用來表示人類的思維和推理規則，從而一問世就贏得了人工智能研究和應用開發者的廣泛興趣。

尤其在西歐和日本，Prolog語言已推廣應用於許多應用領域，如關係數據庫、數理邏輯、抽象問題求解、自然語言理解和專家系統等。

日本還在其於1979年提出的第五代計算機研究計劃中把Prolog列爲核心語言。