prolog - fd_domain，方程不起作用

Question

fd_domain([A, B, C], 0, 9), (A**(B+C)) #= ((A**B)*(A**C)).

也许一些解决方案？看起来不错;P
我收到了那个特定的错误:

uncaught exception: error(instantiation_error,(#=)/2)

Answer 1

在 YAP 或 SWI 中，您可以使用 library(clpfd) 这也允许整数取幂。然而，传播不是很强。

?- use_module(library(clpfd))。
?- [A,B,C] ins 0..9, A^(B+C) #= A^B*A^C。
0..9 中的 A，
A^C#=_A,
A^B#=_B,
A^_C#=_D,
C 在 0..9，
B+C#=_C,
B 在 0..9，
_B*_A#=_D，
_C 在 0..18
?- abs(X) #=< 7^7^7。
X 在 -37598235267....

请注意，间隔不限于机器字大小，如 2^32 或 2^64。