list - 如何在 Prolog 中实现我自己的列表？

Question

我正在学习 Prolog，我知道已经实现了一个数据结构来处理列表，但我想知道如果出于某种原因我想实现自己的数据结构，我该怎么做？我不期待实现作为答案，但一些想法会很棒。

谢谢。

Answer 1

Prolog 中的列表是带有一些语法糖的复合术语。您可以使用以下查询揭示规范语法:

| ?- write_canonical([]).
[]
yes

| ?- write_canonical([1,2,3]).
'.'(1,'.'(2,'.'(3,[])))
yes

如果将查询结果与列表数据结构的抽象定义进行比较，可以看到空列表由原子 [] 表示，非空列表是 '.'/2 复合术语，其中第一个参数是列表元素，第二个元素是列表。

您可以通过定义合适的复合术语来定义自己的“数据结构”。一个好的起点是一个简单的二叉树。您将需要一个空树的表示，例如原子 nil，以及一个包含三个节点参数的复合术语:节点元素、左树和右树。例如:tree(a, tree(c,nil,nil), tree(f,nil,tree(z,nil,nil)))。从这个例子中，你能写出谓词吗？遍历树并在节点元素上调用一些谓词？例如。将它们写入标准输出？