關於資料的推理

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

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