逻辑学的知识全部退给老师了

刚刚上个月初考了逻辑学，用Prolog还是一脸懵，
更何况我还学习了离散数学的知识...

Q: 翻转一个列表中的元素次序。

只要证明第二个列表的Tail等于第一个列表的Head就行了吧（十分没有底...）

reverse([Head1|Tail1], [Head2|Tail2]) :- Tail2 is Head1.

		卧槽！可是...我都不知道Prolog是怎么得出结果的？
		无法解释我自己写的代码...最好的解释就是一路递归
		第一个列表求将Tail2与Head1合一

来源：CSDN

作者：会敲代码的郭城管

链接：https://blog.csdn.net/BobDay/article/details/104154258