prolog - 序言中的 GCD 和 LCM

Question

一些代码可以帮助

%addition
sum(X,nil,X).
sum(X,s(Y),s(Z)) :- sum(X,Y,Z).

%Product
mult(X,nil,nil).
mult(X,s(Y),W) :- mult(X,Y,Z),sum(X,Z,W).

我正在尝试解决序言“GCD and LCM peano number ”中的一个简单问题

我不知道如何开始？

如何在序言中比较钢琴的编号非常感谢您的帮助