Я пытаюсь написать код пролога, чтобы найти Константы Безу для gcd.
Я пробовал этот код:
gcdCoef(A,B,X,Y) :- Z is A*X + B*Y, gcd(A,B,Z).
но когда я выполняю запрос ?- gcdCoef(12,20,M,N)., он выдает мне ошибку:
"is/2: Arguments are not sufficiently instantiated"
Обратите внимание, что gcd работает правильно: gcd(A,B,Z) means gcd(A,B) = Z
что мне делать, чтобырешить проблему?