Prolog,於1972年由Colmerauer(英语:Alain Colmerauer)、Roussel以及Kowalski所設計,是第一個邏輯程式語言。 ML,於1973年由羅賓·米爾納所發明,是一個基於Lisp所建構 ...
確定! 回上一頁