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

add more tests

Browse Source
This commit is contained in:
Mark Thom
2018-09-24 22:47:01 -06:00
parent af5f08ddb2
commit 5e30fa6264
1 changed files with 20 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
src/tests.rs
View File

@@ -2024,4 +2024,24 @@ fn test_queries_on_string_lists()
["X = [a, b, c | _]", "Y = _"]]); ["X = [a, b, c | _]", "Y = _"]]);
assert_prolog_failure!(&mut wam, "?- partial_string(\"abc\", X), partial_string(\"bc\", Y), X = [a | Y]."); assert_prolog_failure!(&mut wam, "?- partial_string(\"abc\", X), partial_string(\"bc\", Y), X = [a | Y].");
submit(&mut wam, "matcher([a|X], X) :- matcher2(X, _).
matcher([b|X], X) :- matcher2(X, _).
matcher2([c|X], X).
matcher2([d|X], X).");
assert_prolog_success!(&mut wam, "?- partial_string(\"\", X), matcher(X, Y).",
[["X = [a, c | _]", "Y = [c | _]"],
["X = [a, d | _]", "Y = [d | _]"],
["X = [b, c | _]", "Y = [c | _]"],
["X = [b, d | _]", "Y = [d | _]"]]);
assert_prolog_success!(&mut wam, "?- partial_string(\"a\", X), matcher(X, Y).",
[["X = [a, c | _]", "Y = [c | _]"],
["X = [a, d | _]", "Y = [d | _]"]]);
assert_prolog_success!(&mut wam, "?- partial_string(\"b\", X), matcher(X, Y).",
[["X = [b, c | _]", "Y = [c | _]"],
["X = [b, d | _]", "Y = [d | _]"]]);
assert_prolog_success!(&mut wam, "?- partial_string(\"bc\", X), matcher(X, Y).",
[["X = [b, c | _]", "Y = [c | _]"]]);
} }