刚刚上个月初考了逻辑学，用Prolog还是一脸懵，
更何况我还学习了离散数学的知识...
Q: 翻转一个列表中的元素次序。
只要证明第二个列表的Tail等于第一个列表的Head就行了吧（十分没有底...）
reverse([Head1|Tail1], [Head2|Tail2]) :- Tail2 is Head1.
卧槽！可是...我都不知道Prolog是怎么得出结果的？
无法解释我自己写的代码...最好的解释就是一路递归
第一个列表求将Tail2与Head1合一
