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

전원 기능은 한계를 갖고있는 것 같아요. 는 GNU 프롤로그 문서화 위 찾을 :

9.6.1 FD 산술 표현식
http://www.gprolog.org/manual/gprolog.html#htoc329

열거 된 에러 조건이 있음 :

오류
서브 표현식 형태이다 _ * * E와 E는

YAP 또는 SWI에서

Answer 2

, 당신은,979를 사용할 수있는 변수 instantiation_error

안녕이다또한 정수의 지수화를 허용합니다. 그러나 전파가 그다지 강하지는 않습니다.

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

간격은 2^32 또는 2^64와 같은 기계어 크기로 제한되지 않습니다.