实践环节

转载自：https://mp.weixin.qq.com/s/zbrHhIrwy2-nFgKhRfvKTQ

5 实践环节

 

练习4的目的是帮助您熟悉递归表的思路。我们首先建议您进行一些跟踪，然后再进行一些编程练习。

首先，系统地对a2b / 2进行大量跟踪，以确保您完全了解其工作原理。尤其是：

 

1.跟踪一些成功的示例，这些示例不涉及变量。例如，跟踪查询a2b([a,a,a,a],[b,b,b,b])并将输出与文本中的讨论相关联。

 

2.跟踪一些失败的简单示例。尝试使用涉及不同长度表的示例（例如a2b([a,a,a,a],[b,b,b])），以及涉及a和b以外的符号的示例（例如a2b([a,c,a,a],[b,b,5,4])）。

 

3.跟踪一些涉及变量的示例。例如，尝试跟踪a2b([a,a,a,a],X)和a2b(X,[b,b,b,b])。

 

4.确保您了解当查询中的两个参数都是变量时会发生什么。例如，对查询a2b(X,Y)进行跟踪。

 

5.进行一系列涉及member/2的类似跟踪。也就是说，执行涉及成功的简单查询（例如，member(a,[1,2,a,b])，失败的简单查询（例如，member(z,[1,2,a,b])的跟踪）），以及涉及变量的查询（例如member(X,[1,2,a,b])）。在所有情况下，请确保您了解递归停止的原因。

 

完成此操作后，请尝试以下操作。

 

1.编写一个三个参数的谓词combin1，该谓词以三个表作为参数，并将前两个表的元素合并为第三个表，如下所示：

 

?- combine1([a,b,c],[1,2,3],X).

 

X = [a,1,b,2,c,3]

 

?- combine1([f,b,yip,yup],[glu,gla,gli,glo],Result).

 

Result = [f,glu,b,gla,yip,gli,yup,glo]

 

2.现在编写一个三个参数的谓词combin2，该谓词将三个表作为参数，并将前两个表的元素合并为第三个表，如下所示：

 

?- combine2([a,b,c],[1,2,3],X).

 

X = [[a,1],[b,2],[c,3]]

 

?- combine2([f,b,yip,yup],[glu,gla,gli,glo],Result).

 

Result = [[f,glu],[b,gla],[yip,gli],[yup,glo]]

 

3.最后，编写一个三个参数的谓词Combine3，它以三个表作为参数，并将前两个表的元素组合为第三个表，如下所示：

 

?- combine3([a,b,c],[1,2,3],X).

 

X = [j(a,1),j(b,2),j(c,3)]

 

?- combine3([f,b,yip,yup],[glu,gla,gli,glo],R).

 

R = [j(f,glu),j(b,gla),j(yip,gli),j(yup,glo)]

 

这三个程序几乎都与a2b / 2相同（尽管它们操纵的是三个表，而不是两个）。就是说，可以通过递归表，对头做某事，然后对尾做同样的事来写这三个。确实，一旦编写了Combine1，您只需要改变对头部的操作即可获得Combine2和Combine3。