リストを直接引数に持ち、その他に膜外へのリンクをもつアトムのバグ

[tuesdayjz]

問題

rule@@ // グラフ構造を変更しないルール
{a([AA,AE],Out)} :- {a([AA,AE],Out)}.

b(Out). c(AA). {a([AA,AE],Out)}. e(AE).

//// desired output ////
// b(Out), d(EE), c(AA), 
// {a([EE,AE],Out)}, e(AE,AA).

//// real output ////
// b(Out), d(EE), c(AA),
// {a([EE|L4],Out), [L0]=L3}, e(L0,AA).

• SLIMで実行したとき、rule が適用されると、等価なグラフ表現であっても、部分グラフの並べ方によっては、つながったままになるはずのリスト構造が切断され、a[AE, AA] が {a([EE|L4],Out), [L0]=L3} の形になる場合がある。
• リストの切断された部分のリンクは2つの自由リンクになっている（下記画像参照）
• Out（膜外へのリンク）を削除した場合、この現象は起こらない。

// リンクが切断される場合（バグ）
b(Out). {a([AA,AE],Out)}. c(AA). e(AE).
b(Out). c(AA). e(AE). {a([AA,AE],Out)}.
b(Out). c(AA). {a([AA,AE],Out)}. e(AE).
{a([AA,AE],Out)}. b(Out). c(AA). e(AE).
{a([AA,AE],Out)}. c(AA). b(Out). e(AE).
c(AA). b(Out). e(AE). {a([AA,AE],Out)}.
c(AA). b(Out). {a([AA,AE],Out)}. e(AE).
c(AA). {a([AA,AE],Out)}. b(Out). e(AE).

// リストが切断されない場合（正常）
e(AE). b(Out). {a([AA,AE],Out)}. c(AA).
e(AE). b(Out). c(AA). {a([AA,AE],Out)}.
e(AE). {a([AA,AE],Out)}. b(Out). c(AA).
e(AE). {a([AA,AE],Out)}. c(AA). b(Out).
e(AE). c(AA). b(Out). {a([AA,AE],Out)}.
e(AE). c(AA). {a([AA,AE],Out)}. b(Out).
b(Out). e(AE). {a([AA,AE],Out)}. c(AA).
b(Out). e(AE). c(AA). {a([AA,AE],Out)}.
b(Out). {a([AA,AE],Out)}. e(AE). c(AA).
{a([AA,AE],Out)}. e(AE). b(Out). c(AA).
{a([AA,AE],Out)}. e(AE). c(AA). b(Out).
{a([AA,AE],Out)}. b(Out). e(AE). c(AA).
{a([AA,AE],Out)}. c(AA). e(AE). b(Out).
c(AA). e(AE). b(Out). {a([AA,AE],Out)}.
c(AA). e(AE). {a([AA,AE],Out)}. b(Out).
c(AA). {a([AA,AE],Out)}. e(AE). b(Out).

• NG例では、全てc(AA)とe(AE)がこの順に登場する
• OK例でも下から4つの例はc(AA)とe(AE)がこの順に登場する

実行例のグラフ

Unyo実行時（初期状態）

SLIM実行時

[tuesdayjz]

中間命令列

修正前

Compiled Ruleset @602
Compiled Rule
    --atommatch:
    --memmatch:
        spec           [1, 15]
...
        newatom      [9, 0, 'b'_1]
        newatom      [10, 0, 'c'_1]
        newatom      [11, 0, 'e'_1]
...
        newlink        [9, 0, 14, 1, 0]
        newlink        [10, 0, 12, 1, 0]
        newlink        [11, 0, 13, 1, 0]
        newlink        [12, 0, 6, 0, 0] <-
        newlink        [13, 0, 7, 0, 0] <-
        newlink        [14, 0, 8, 0, 0] <-
        proceed        []

修正後

Compiled Ruleset @602
Compiled Rule
    --atommatch:
    --memmatch:
        spec           [1, 15]
...
        newatom      [9, 0, 'b'_1]
        newatom      [10, 0, 'c'_1]
        newatom      [11, 0, 'e'_1]
...
        newlink        [9, 0, 14, 1, 0]
        newlink        [10, 0, 12, 1, 0]
        newlink        [11, 0, 13, 1, 0]
        newlink        [13, 0, 6, 0, 0] <-
        newlink        [14, 0, 7, 0, 0] <-
        newlink        [12, 0, 8, 0, 0] <-
        proceed        []