rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

correct phrase/2

Browse Source
This commit is contained in:
Mark Thom
2018-10-08 11:02:48 -06:00
parent 1dc015b91f
commit 9a6094bad2
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/prolog/lib/dcgs.pl
View File

@@ -9,7 +9,7 @@ phrase(G, Ls0) :-
phrase(G, Ls0) :- phrase(G, Ls0) :-
nonvar(G), G = (G1, G2), !, phrase(G1, Ls0, Ls1), phrase(G2, Ls1). nonvar(G), G = (G1, G2), !, phrase(G1, Ls0, Ls1), phrase(G2, Ls1).
phrase(G, Ls0) :- phrase(G, Ls0) :-
call(G, Ls0, _). call(G, Ls0, []).
phrase(G, Ls0, Ls1) :- phrase(G, Ls0, Ls1) :-
nonvar(G), G = [_|_], !, append(G, Ls1, Ls0). nonvar(G), G = [_|_], !, append(G, Ls1, Ls0).

6
src/tests.rs
View File

@@ -1890,9 +1890,9 @@ fn test_queries_on_dcgs()
instant('Lightning Bolt') --> [].".as_bytes()); instant('Lightning Bolt') --> [].".as_bytes());
assert_prolog_success!(&mut wam, "?- phrase(ability(destroy, X), P).", assert_prolog_success!(&mut wam, "?- phrase(ability(destroy, X), P).",
[["P = [destroy, target, creature | _4]", "X = 'Llanowar Elves'"], [["P = [destroy, target, creature]", "X = 'Llanowar Elves'"],
["P = [destroy, target, artifact | _4]", "X = 'Ankh of Mishra'"], ["P = [destroy, target, artifact]", "X = 'Ankh of Mishra'"],
["P = [destroy, target, land | _4]", "X = 'Mountain'"]]); ["P = [destroy, target, land]", "X = 'Mountain'"]]);
} }
#[test] #[test]