跳轉到內容

Prolog

25% developed
來自華夏公益教科書

歡迎來到 Prolog 教材。 本書可以作為任何想要學習 Prolog 程式語言的人的教科書或教程。 無需任何程式設計經驗。 一些邏輯基礎知識可能會有幫助。 對於新手,本書提供了邏輯的簡短介紹,但這並非必讀內容。

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

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

特殊頁面

目錄

Prolog 入門

基礎

簡介
規則
遞迴規則
變數
列表
數學、函式和等式
組合
解決邏輯謎題

程式設計

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

內建謂詞

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

高階 Prolog

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

Prolog 及其擴充套件

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