СМС-пролог
Я пытаюсь найти наименьшее общее кратное число двух Пеано в прологе
это мой код:
%LCM
lcm(A,B,C):- prod(A,B,R),gcd(A,B,S),divide(R,S,C).
У меня есть ложный вывод:
?- lcm(s(s(0)),s(s(s(0))),Q).
false.
Я не знаю, где не так с моим кодом
Огромное спасибо.