phrase(G, Ls0) :-
nonvar(G), G = (G1, G2), !, phrase(G1, Ls0, Ls1), phrase(G2, Ls1).
phrase(G, Ls0) :-
- call(G, Ls0, _).
+ call(G, Ls0, []).
phrase(G, Ls0, Ls1) :-
nonvar(G), G = [_|_], !, append(G, Ls1, Ls0).
instant('Lightning Bolt') --> [].".as_bytes());
assert_prolog_success!(&mut wam, "?- phrase(ability(destroy, X), P).",
- [["P = [destroy, target, creature | _4]", "X = 'Llanowar Elves'"],
- ["P = [destroy, target, artifact | _4]", "X = 'Ankh of Mishra'"],
- ["P = [destroy, target, land | _4]", "X = 'Mountain'"]]);
+ [["P = [destroy, target, creature]", "X = 'Llanowar Elves'"],
+ ["P = [destroy, target, artifact]", "X = 'Ankh of Mishra'"],
+ ["P = [destroy, target, land]", "X = 'Mountain'"]]);
}
#[test]