關於資料的推理

一個名為資料結構的新部分被賦予了生命,其中提供了對某些結構的解釋+一些簡單的建立示例。為了使其內容簡潔明瞭,它不應包含任何有關資料操作的文件。

因此,本節更名為推理資料,目的是推廣 Prolog 中資料的推理。這可能包括從自上而下的推斷遍歷列表以及許多其他主題的主題。由於其廣泛的概括,應該制定明確的小節!