Prolog 教程

Prolog 或PROgramming in LOGics 是一種邏輯和宣告程式語言。它是支援宣告性程式設計正規化的第四代語言的一個主要示例。它特別適用於涉及符號或非數值計算的程式。

受眾

本參考資料已編制給初學者，以幫助他們瞭解 Prolog 的基礎知識。

先決條件

本教程假設讀者具有先前的編碼知識。