CLP（FD）とif-then-else構造を混在させるとコンパイルエラーが発生する

Question

なぜ次のコードがコンパイルされないのか分かりません。次のコードもコンパイルされません

:- use_module(library(clpfd)). 

test(X, Y) :- 
    ( X = 1 
    -> Y #= 2 
    ; Y = 3 
    ). 

：つまり、なぜ私は理解していない

test(X, Y) :- 
    ( X = 1 
    -> Y = 2 
    ; Y #= 3 
    ). 

それは、put_attr/3: Uninstantiated argument expected, found 2 (1-st argument)エラーを生成します。 =はそれがコンパイルになり、単純な統一と#=を交換するが、これは、この述語ことを考慮すると、コンパイルされないでしょう、なぜ私は表示されません。

test(X, Y) :- 
    ( X = 1 
    -> Y #= 2*_ 
    ; Y = 3 
    ). 

コンパイルん！

Answer 1

これはlibrary(clpfd)の目標拡張のバグでした。

これは、this commitとしてMarkus Triskaによって修正されています。