複数のプロセス文脈（リンク束含む）をもつルールが反応しないバグ

[miuele]

次について

{a. {b(X)}}, c(X).
rule1@@ {$p1[], {$p2[|*X]}} :- {$p2[|*X]}.

通常実行の結果：

1: c(L0). {a. {b(L0). }. }. @4.
c(L0). {a. {b(L0). }. }. @4.

期待される結果：

1: c(L0). {a. {b(L0). }. }. @4.
---->rule1
2: c(L0). {b(L0). }. @4.
c(L0). {b(L0). }. @4.

二行目をrule1@@ {$p1[], {$p2[X]}} :- {$p2[X]}.（リンク束を含まない）に置き換えると期待する結果が得られる．