Prolog，使用递归

Question

我正在尝试构建这个程序但是真的很难。 所以我开始编写这个程序，我有一个很长的程序，几乎可以工作，但很长很乱。任何人都可以给我提示或能够告诉我如何在prolog中编写这个程序？ 所以对于基础案例， 我发现它应该是

sum(num(X), num(Y), Z):- Z is X + Y.
prod(num(X), num(Y), Z):- Z is X * Y.

我不知道如何在遍历树时区分节点是产品节点还是和节点。我知道num（X）是叶子，而prod（X，Y）和sum（X，Y）是节点。