0

以下のようなルールを書きました。

rule_1561_cctype([],_,_,_).
rule_1561_cctype([X1|Y1],[Ru1|Ru1T],[Ru2|Ru2T],[Ru3|Ru3T]):-
    X1 is 0 -> Ru1 in {2,3,4}, Ru2 in {-1}, Ru3 in {-1}
    ;X1 is 1 -> Ru1 in {2,3,4}, Ru2 in {2,3,4}, Ru3 in {-1}
  ;X1 is 2 -> Ru1 in {2}, Ru2 in {2}, Ru3 in {2}
  ;rule_1561_cctype(Y1,Ru1,Ru2,Ru3),!.

私は以下のようにこのルールを呼び出しています:

rule_1561_cctype(CctypeInt, Ru1, Ru2,Ru3),

CctypeInt は整数リストです。

しかし、私は以下のエラーが発生しています:

      935      9 Call: rule_1561_cctype(dom(0..2),dom({-1}\/(2..4)),dom({-1}\/(2..4)),dom({-1}\/(2..4))) ? 
! Type error in argument 2 of = /2
! integer expected, but [] found
! goal:  _310957=[]
      935      9 Exception: rule_1561_cctype(dom(0..2),dom({-1}\/(2..4)),dom({-1}\/(2..4)),dom({-1}\/(2..4))) ?

私はどこか間違っていますか？

4

1 に答える 1

1

制約ロジックのプログラミングを行っていますよね？問題は、Prolog が空のリストを持つ数値範囲の制約付き変数を統合しようとし、エラーを報告することです。

コードを見ると、rule_1561_cctype(Y1,Ru1,Ru2,Ru3) への呼び出しは rule_1561_cctype(Y1,Ru1T,Ru2T,Ru3T) である必要があると思います。

于 2012-04-13T18:39:21.860 に答える