什麼時候邏輯語言出現

最早於1972年由柯爾麥倫納(Colmeraner)及其研究小組在法國馬賽大學提出。

是一種面向演繹推理的邏輯型程式語言。