我是新手，我要分配作业以写谓词lastFermat（P，A，B，C，N），得到 P是输入，例如所有数字介于2到p-1之间，并应输出满足以下条件的所有A，B，C，N：A ^ N + B ^ N = C ^ N。
我使用辅助谓词来计算A，B，C的幂。 当我尝试使用以下命令调用谓词时： lastFermat（10，A，B，C，N）我得到了错误： 没有充分实例化参数 在：0 is _1460 mod 2
aux(_1492,_1494,10,_1498) at line 4
lastFermat(10,_1530,_1532,_1534,_1536) at line 18
我尝试将clpfd模块用于算术动作，而不是代码片段中显示的算术动作，但是并没有做任何更改。
输出应该是满足以下模式谓词的所有可能的A，B，C，N
在此先感谢您的帮助！
图片中的代码。
