关于数据的推理

一个名为数据结构的新部分被赋予了生命，其中提供了对某些结构的解释+一些简单的创建示例。为了使其内容简洁明了，它不应包含任何有关数据操作的文档。

因此，本节更名为推理数据，目的是推广 Prolog 中数据的推理。这可能包括从自上而下的推断到遍历列表以及许多其他主题的主题。由于其广泛的概括，应该制定明确的小节！