is/2: аргументы недостаточно проработаны
Я пытаюсь написать код пролога, чтобы найти константы Безу для 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
что я должен сделать, чтобы решить проблему?