我是Prolog的新手，正在尝试解决此问题：
定义一个谓词
greater_than/2采用两个数字的符号，我们在这个讲座介绍（即0，succ(0)，succ(succ(0))...）作为参数，并决定第一个是否比第二个大。例如：
?- greater_than( succ(succ(succ(0))), succ(0) ).
yes.
?- greater_than( succ(succ(0)), succ(succ(succ(0))) ).
no.
到目前为止，这是我的答案：
greater_than(X, 0).
greater_than( succ(succ(X)), succ(Y) ).
但是当然不能正常工作，所以我要向任何人寻求帮助。谢谢。