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失敗...作品，好吧，那種...然後，我想不是這樣。