shira

関連 #76

ガード・ボディ命令列がヘッド命令列に移動させないときは打ち消さない。以下の場合は2度出るのは問題ない。 ``` ╰─ echo 'a(X) :- ground(X) | b(X)' | lmntal --slimcode --stdin-lmn ... Compiled Ruleset @601 Compiled Rule ... --guard:L114: spec [2, 6] getlink [2, 1, 0] newlist [3]...