simplificationの改修 その2

[yoshihiro503]

$ dune exec simplification tmp2.dl

を実行すると以下のエラー

 Unexpected Equation: R1 <> R2

tmp2.dl

source tracks2('TRACK':string, 'RATING':int, 'ALBUM':string, 'QUANTITY':int).
view tracks3('TRACK':string, 'RATING':int, 'ALBUM':string, 'QUANTITY':int).
-tracks2(T, R, A, Q) :- tracks2(T, R, A, Q) , -tracks3(T, R, A, Q) , Q = 2.
-tracks2(T, R1, A, Q) :- tracks2(T, R1, A, Q) , tracks2(T, R2, GENV3, GENV4) , GENV4 = 2 , not -tracks3(T, R2, GENV3, GENV4) , R1 <> R2.
-tracks2(T, R1, A, Q) :- tracks2(T, R1, A, Q) , +tracks3(T, R2, GENV3, GENV4) , R1 <> R2.
+tracks2(T, R, A, Q) :- +tracks3(T, R, A, Q) , not tracks2(T, R, A, Q).
+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , tracks2(T, R2, GENV1, GENV2) , GENV2 = 2 , not -tracks3(T, R2, GENV1, GENV2) , R1 <> R2.
+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , +tracks3(T, R2, GENV1, GENV2) , R1 <> R2.
__updated__tracks3(TRACK, RATING, ALBUM, QUANTITY) :- tracks2(TRACK, RATING, ALBUM, QUANTITY) , QUANTITY = 2 , not -tracks3(TRACK, RATING, ALBUM, QUANTITY).
__updated__tracks3(TRACK, RATING, ALBUM, QUANTITY) :- +tracks3(TRACK, RATING, ALBUM, QUANTITY).
tracks3(T, R, A, Q) :- tracks2(T, R, A, Q) , Q = 2.

[yoshihiro503]

dune exec -- simplification input2.dl --prepare > output2.dl

input2.dl:

source tracks2('TRACK':string, 'RATING':int, 'ALBUM':string, 'QUANTITY':int).
view tracks3('TRACK':string, 'RATING':int, 'ALBUM':string, 'QUANTITY':int).
-tracks2(T, R, A, Q) :- tracks2(T, R, A, Q) , -tracks3(T, R, A, Q) , Q = 2.
-tracks2(T, R1, A, Q) :- tracks2(T, R1, A, Q) , tracks2(T, R2, GENV3, GENV4) , GENV4 = 2 , not -tracks3(T, R2, GENV3, GENV4).
-tracks2(T, R1, A, Q) :- tracks2(T, R1, A, Q) , +tracks3(T, R2, GENV3, GENV4) , R1 =1,  R2=1.
%-tracks2(T, R1, A, Q) :- tracks2(T, R1, A, Q) , +tracks3(T, R2, GENV3, GENV4) , R1 <> R2.
+tracks2(T, R, A, Q) :- +tracks3(T, R, A, Q) , not tracks2(T, R, A, Q).
+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , tracks2(T, R2, GENV1, GENV2) , GENV2 = 2 , not -tracks3(T, R2, GENV1, GENV2).
+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , +tracks3(T, R2, GENV1, GENV2) .
+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , tracks2(T, R2, GENV1, GENV2) , GENV2 = 2 , not -tracks3(T, R2, GENV1, GENV2) , R1=1, R2=1.
+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , +tracks3(T, R2, GENV1, GENV2) , R1 =1, R2=1.
%+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , tracks2(T, R2, GENV1, GENV2) , GENV2 = 2 , not -tracks3(T, R2, GENV1, GENV2) , R1 <> R2.
%+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , +tracks3(T, R2, GENV1, GENV2) , R1 <> R2.
__updated__tracks3(TRACK, RATING, ALBUM, QUANTITY) :- tracks2(TRACK, RATING, ALBUM, QUANTITY) , QUANTITY = 2 , not -tracks3(TRACK, RATING, ALBUM, QUANTITY).
__updated__tracks3(TRACK, RATING, ALBUM, QUANTITY) :- +tracks3(TRACK, RATING, ALBUM, QUANTITY).
tracks3(T, R, A, Q) :- tracks2(T, R, A, Q) , Q = 2.

output2.dl:

source tracks2('TRACK':string, 'RATING':int, 'ALBUM':string, 'QUANTITY':int).
view tracks3('TRACK':string, 'RATING':int, 'ALBUM':string, 'QUANTITY':int).
+tracks2(T, R2, A, Q) :- +tracks3(T, R2, _, _) , tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , R1 <> R2.
+tracks2(T, R2, A, Q) :- +tracks3(T, R2, _, _) , tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q).
+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , tracks2(T, R2, GENV1, GENV2) , not -tracks2(T, R1, A, Q) , not -tracks3(T, R2, GENV1, GENV2) , GENV2 = 2 , R1 <> R2.
+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , tracks2(T, R2, GENV1, GENV2) , not -tracks2(T, R1, A, Q) , not -tracks3(T, R2, GENV1, GENV2) , GENV2 = 2.
+tracks2(T, R, A, Q) :- +tracks3(T, R, A, Q) , not tracks2(T, R, A, Q).
-tracks2(T, R1, A, Q) :- +tracks3(T, R2, _, _) , tracks2(T, R1, A, Q) , R1 <> R2.
-tracks2(T, R1, A, Q) :- tracks2(T, R1, A, Q) , tracks2(T, R2, GENV3, GENV4) , not -tracks3(T, R2, GENV3, GENV4) , GENV4 = 2.
-tracks2(T, R, A, Q) :- -tracks3(T, R, A, Q) , tracks2(T, R, A, Q) , Q = 2.

[cedretaber]

input2.dl は色々コメントアウトされていますが、この通りだとおそらく期待する出力結果にはならないと思います。
このような式だと期待通りに出力されたのですが、実際はこうではないですかね？

source tracks2('TRACK':string, 'RATING':int, 'ALBUM':string, 'QUANTITY':int).
view tracks3('TRACK':string, 'RATING':int, 'ALBUM':string, 'QUANTITY':int).
-tracks2(T, R, A, Q) :- tracks2(T, R, A, Q) , -tracks3(T, R, A, Q) , Q = 2.
-tracks2(T, R1, A, Q) :- tracks2(T, R1, A, Q) , tracks2(T, R2, GENV3, GENV4) , GENV4 = 2 , not -tracks3(T, R2, GENV3, GENV4).
%-tracks2(T, R1, A, Q) :- tracks2(T, R1, A, Q) , +tracks3(T, R2, GENV3, GENV4) , R1 =1,  R2=1.
-tracks2(T, R1, A, Q) :- tracks2(T, R1, A, Q) , +tracks3(T, R2, GENV3, GENV4) , R1 <> R2.
+tracks2(T, R, A, Q) :- +tracks3(T, R, A, Q) , not tracks2(T, R, A, Q).
+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , tracks2(T, R2, GENV1, GENV2) , GENV2 = 2 , not -tracks3(T, R2, GENV1, GENV2).
+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , +tracks3(T, R2, GENV1, GENV2) .
%+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , tracks2(T, R2, GENV1, GENV2) , GENV2 = 2 , not -tracks3(T, R2, GENV1, GENV2) , R1=1, R2=1.
%+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , +tracks3(T, R2, GENV1, GENV2) , R1 =1, R2=1.
+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , tracks2(T, R2, GENV1, GENV2) , GENV2 = 2 , not -tracks3(T, R2, GENV1, GENV2) , R1 <> R2.
+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , +tracks3(T, R2, GENV1, GENV2) , R1 <> R2.
__updated__tracks3(TRACK, RATING, ALBUM, QUANTITY) :- tracks2(TRACK, RATING, ALBUM, QUANTITY) , QUANTITY = 2 , not -tracks3(TRACK, RATING, ALBUM, QUANTITY).
__updated__tracks3(TRACK, RATING, ALBUM, QUANTITY) :- +tracks3(TRACK, RATING, ALBUM, QUANTITY).
tracks3(T, R, A, Q) :- tracks2(T, R, A, Q) , Q = 2.

出力:

❯ dune exec -- simplification examples/issue57.dl --prepare
source tracks2('TRACK':string, 'RATING':int, 'ALBUM':string, 'QUANTITY':int).
view tracks3('TRACK':string, 'RATING':int, 'ALBUM':string, 'QUANTITY':int).
+tracks2(T, R2, A, Q) :- +tracks3(T, R2, _, _) , tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q) , R1 <> R2.
+tracks2(T, R2, A, Q) :- +tracks3(T, R2, _, _) , tracks2(T, R1, A, Q) , not -tracks2(T, R1, A, Q).
+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , tracks2(T, R2, GENV1, GENV2) , not -tracks2(T, R1, A, Q) , not -tracks3(T, R2, GENV1, GENV2) , GENV2 = 2 , R1 <> R2.
+tracks2(T, R2, A, Q) :- tracks2(T, R1, A, Q) , tracks2(T, R2, GENV1, GENV2) , not -tracks2(T, R1, A, Q) , not -tracks3(T, R2, GENV1, GENV2) , GENV2 = 2.
+tracks2(T, R, A, Q) :- +tracks3(T, R, A, Q) , not tracks2(T, R, A, Q).
-tracks2(T, R1, A, Q) :- +tracks3(T, R2, _, _) , tracks2(T, R1, A, Q) , R1 <> R2.
-tracks2(T, R1, A, Q) :- tracks2(T, R1, A, Q) , tracks2(T, R2, GENV3, GENV4) , not -tracks3(T, R2, GENV3, GENV4) , GENV4 = 2.
-tracks2(T, R, A, Q) :- -tracks3(T, R, A, Q) , tracks2(T, R, A, Q) , Q = 2.

[WARN] Unsupported equation: R1 <> R2
[WARN] Unsupported equation: R1 <> R2
[WARN] Unsupported equation: R1 <> R2

[hiroyukikato]

おっしゃる通りです。
既存のdl2uを流用するために修正した部分を戻すのを一部忘れてしまいました。お手数をおかけしてすみません。