SICStus Prolog 4.3.2：clpfd没有权力？

Question

我的一些Prolog程序可以利用有点有点，如果我可以替换所有(is)/2为基础的整数算术的clpfd对应。

所以我想力量...与... clpfd，所以我可以用的东西clpfd-Y :)

考虑以下五个Prolog的处理器，支持clpfd更换X is 10^3：

• GNU Prolog 1.4.4

   
  ?- X #= 10^3. 
  uncaught exception: error(type_error(fd_evaluable,(^)/2),(#=)/2) 
  
  ?- X #= 10**3. 
  X = 1000. 
  

• SWI-Prolog 7.3.14

   
  ?- use_module(library(clpfd)). % autoload would be even more awesome 
  true. 
  
  ?- X #= 10^3. 
  X = 1000. 
  
  ?- X #= 10**3. 
  ERROR: Domain error: `clpfd_expression' expected, found `10**3' 
  

• B-Prolog 8.1

   
  ?- X #= 10^3. 
  X #= 10^3. 
  *** error(illegal_array_access,10^3) 
  
  ?- X #= 10**3. 
  X = 1000. 
  

• SICStus Prolog 4.3.2

   
  ?- use_module(library(clpfd)). 
  true. 
  
  ?- X #= 10^3. 
  ! Existence error in (^)/2 
  ! constraint user:wi(^)/2 does not exist 
  ! goal: 10^3 
  
  ?- X #= 10**3. 
  ! Existence error in user:(**)/2 
  ! constraint user:(**)/2 does not exist 
  ! goal: 10**3 
  

想法/提示/建议，请。 我能做什么？或许使用一些clpfd兼容性层？

预先感谢您！

Answer 1

快速入侵？

警告：大规模的矫枉过正，但...它甚至可以工作吗？它是否便携？

让我们来看看吧！

• SWI-Prolog的使用7.3.14

  • 使用clpq

     
    ?- use_module(library(clpq)). 
    true. 
    
    ?- clpq:{X = 10^3}, integer(X). 
    X = 1000.       % <== SUCCESS! 
    

  • clpr

     
    ?- use_module(library(clpr)). 
    true. 
    
    ?- clpr:{X = 10^3}, integer(X). 
    false. 
    

• SICStus Prolog 4.3。2

  • 使用clpq

     
    ?- use_module(library(clpq)). 
    true. 
    
    ?- clpq:{X = 10^3}, integer(X). 
    false. 
    

  • 使用clpr

     
    ?- use_module(library(clpr)). 
    true. 
    
    ?- clpr:{X = 10^3}, integer(X). 
    false. 
    

1X成功，3X失败...作品，好吧，那种...然后，我想不是这样。