跳轉到內容

Prolog

25% developed
來自華夏公益教科書,開放的書籍,為開放的世界
(從 程式設計:Prolog 重定向)

歡迎來到 Prolog 書籍。本書可以作為任何想要學習 Prolog 程式語言的人的教科書或教程。不需要任何先前的程式設計經驗。一些關於邏輯的基本知識可能會派上用場。對於那些對該主題不熟悉的人,本書提供了一個關於邏輯的簡短介紹,但這不是必讀內容。

本書的前幾章(在基礎下)描述了該語言的核心語法和功能。下一部分,程式設計,探討了在 Prolog 程式設計中很有用的附加概念。基礎程式設計下的章節應該按順序閱讀。

內建謂詞部分介紹了在許多 Prolog 編譯器中可用的函式。這些章節和其他章節可以按任何順序閱讀。

特殊頁面

目錄

開始 Prolog

基礎

介紹
規則
遞迴規則
變數
列表
數學、函式和等式
綜合起來
解決邏輯謎題

程式設計

剪枝和否定
閱讀和編寫程式碼
差分列表
確定性子句語法
推理引擎

內建謂詞

測試術語
Bagof、Setof 和 Findall
修改資料庫
輸入和輸出

高階 Prolog

關聯對映
搜尋技術
排序
圖形:XPCE

Prolog 及其擴充套件

高階程式設計
約束邏輯程式設計
確定性子句語法
結合語言
一些有趣的使用者組主題
外部連結
華夏公益教科書