标签: prolog greatest-common-divisor successor-arithmetics
有些代码可以提供帮助
%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).
我正在努力解决prolog中的一个简单问题" GCD和LCM peano数"
我不知道如何开始?
如何比较prolog中的钢琴编号 非常感谢你的帮助