Prolog/外部連結
< Prolog
- Visual Prolog 是 1980 年代建立的 Turbo Prolog 編譯器的繼任者，它是第一個 Prolog 編譯器。從那時起，Prolog 開發中心 一直在開發和改進其編譯器。目前 Visual Prolog 編譯器是一個功能強大且高效的編譯器，可以建立用於建立獨立可執行檔案或 DLL 的目標檔案，解析宣告之間的交叉引用，驗證謂詞模式，執行強大的型別檢查，驗證建構函式中的事實初始化，執行謂詞解析。 下載 Visual Prolog.
- Strawberry Prolog 主要用於教育。這個編譯器非常接近 ISO-Prolog 語法，但它有很多擴充套件，這些擴充套件不是標準的一部分。例如，在 Strawberry Prolog 中，您可以找到全域性變數、陣列、物件和許多僅適用於此編譯器的謂詞。Strawberry Prolog 的主要思想是易於使用。這就是為什麼它包含開發環境、視覺化偵錯程式和免費的 Light 版本。 下載 Strawberry Prolog.
學習 Prolog 時，使用多個文字始終是一個好主意。從多個角度看待一個主題可以幫助澄清它。這些只是一些免費的 Prolog 教程。
- 立即學習 Prolog！對 Prolog 的全面介紹，包括 DCG。
- James Power 的 Prolog 教程（由 Alex Monaghan 編輯）
- Visual Prolog 教程
- Strawberry Prolog 幫助，線上幫助
- Strawberry Prolog 教程 由 Dimitar Gelev 撰寫
可下載內容
- Prolog 入門教程由 James Lu 和 Jerud J. Mead 撰寫 PDF
- Prolog 和自然語言分析 (©) PDF
- 透過 Prolog 介紹邏輯程式設計 (©) PS/PDF
- Prolog 程式設計競賽 PS/HTML - 高階練習。