Prolog, designed in 1972 by Colmerauer, Roussel, and Kowalski, was the first logic programming language.
Prolog，於1972年由Colmerauer、Roussel，以及Kowalski所設計，是第一個邏輯程式語言。