add support for conjunctive queries.
This commit is contained in:
Mark Thom
564
src/main.rs
564
src/main.rs
@@ -3,16 +3,27 @@ mod prolog;
|
||||
|
||||
use prolog::io::*;
|
||||
use prolog::machine::*;
|
||||
use prolog::prolog_parser::*;
|
||||
|
||||
#[cfg(test)]
|
||||
mod tests {
|
||||
use super::*;
|
||||
use prolog::ast::*;
|
||||
use prolog::codegen::*;
|
||||
|
||||
fn submit(wam: &mut Machine, buffer: &str) -> EvalResult {
|
||||
let result = eval(wam, buffer);
|
||||
fn submit(wam: &mut Machine, buffer: &str) -> bool {
|
||||
wam.reset();
|
||||
result
|
||||
|
||||
match parse_TopLevel(buffer.trim()) {
|
||||
Ok(tl) =>
|
||||
match eval(wam, &tl) {
|
||||
EvalResult::InitialQuerySuccess(_, _) |
|
||||
EvalResult::EntrySuccess |
|
||||
EvalResult::SubsequentQuerySuccess =>
|
||||
true,
|
||||
_ => false
|
||||
},
|
||||
Err(_) => panic!("Bad parse in test case!")
|
||||
}
|
||||
}
|
||||
|
||||
#[test]
|
||||
@@ -23,28 +34,28 @@ mod tests {
|
||||
submit(&mut wam, "clouds(are, nice).");
|
||||
|
||||
// submit returns true on failure, false on success.
|
||||
assert_eq!(submit(&mut wam, "?- p(Z, Z).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(Z, z).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(Z, w).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(z, w).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(w, w).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- clouds(Z, Z).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- clouds(are, Z).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- clouds(Z, nice).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(Z, Z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(Z, z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(Z, w)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(z, w)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(w, w)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- clouds(Z, Z)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- clouds(are, Z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- clouds(Z, nice)."), true);
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(Z, h(Z, W), f(W)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(Z, h(Z, W), f(W))."), false);
|
||||
|
||||
submit(&mut wam, "p(Z, h(Z, W), f(W)).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(z, h(z, z), f(w)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(z, h(z, w), f(w)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(z, h(z, W), f(w)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(Z, h(Z, w), f(Z)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(z, h(Z, w), f(Z)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(z, h(z, z), f(w))."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(z, h(z, w), f(w))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(z, h(z, W), f(w))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(Z, h(Z, w), f(Z))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(z, h(Z, w), f(Z))."), false);
|
||||
|
||||
submit(&mut wam, "p(f(X), h(Y, f(a)), Y).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(Z, h(Z, W), f(W)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(Z, h(Z, W), f(W))."), true);
|
||||
}
|
||||
|
||||
#[test]
|
||||
@@ -55,48 +66,48 @@ mod tests {
|
||||
submit(&mut wam, "q(q, s).");
|
||||
submit(&mut wam, "r(s, t).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(q, t).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(t, q).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(q, T).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(Q, t).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(t, t).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(q, t)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(t, q)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(q, T)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(Q, t)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(t, t)."), false);
|
||||
|
||||
submit(&mut wam, "p(X, Y) :- q(f(f(X)), R), r(S, T).");
|
||||
submit(&mut wam, "q(f(f(X)), r).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y)."), true);
|
||||
|
||||
submit(&mut wam, "q(f(f(x)), r).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y)."), true);
|
||||
|
||||
submit(&mut wam, "p(X, Y) :- q(X, Y), r(X, Y).");
|
||||
submit(&mut wam, "q(s, t).");
|
||||
submit(&mut wam, "r(X, Y) :- r(a).");
|
||||
submit(&mut wam, "r(a).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(t, S).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(t, s).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(s, T).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(S, t).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(t, S)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(t, s)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(s, T)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(S, t)."), true);
|
||||
|
||||
submit(&mut wam, "p(f(f(a), g(b), X), g(b), h) :- q(X, Y).");
|
||||
submit(&mut wam, "q(X, Y).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(f(X, Y, Z), g(b), h).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(X, g(Y), Z), g(Z), X).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(X, g(Y), Z), g(Z), h).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(Z, Y, X).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(X, Y, Z), Y, h).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(X, Y, Z), g(b), h)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(X, g(Y), Z), g(Z), X)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(X, g(Y), Z), g(Z), h)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(Z, Y, X)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(X, Y, Z), Y, h)."), true);
|
||||
|
||||
submit(&mut wam, "p(_, f(_, Y, _)) :- h(Y).");
|
||||
submit(&mut wam, "h(y).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(_, f(_, Y, _)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(_, f(_, y, _)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(_, f(_, z, _)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(_, f(_, Y, _))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(_, f(_, y, _))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(_, f(_, z, _))."), false);
|
||||
}
|
||||
|
||||
#[test]
|
||||
@@ -105,55 +116,55 @@ mod tests {
|
||||
|
||||
submit(&mut wam, "p(X, a). p(b, X).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(x, Y).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, a).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(b, X).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, X).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(b, a).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(a, b).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(x, Y)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, a)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(b, X)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, X)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(b, a)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(a, b)."), false);
|
||||
|
||||
submit(&mut wam, "p(X, Y, a). p(X, a, Y). p(X, Y, a).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(c, d, X).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(a, a, a).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(b, c, d).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(c, d, X)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(a, a, a)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(b, c, d)."), false);
|
||||
|
||||
submit(&mut wam, "p(X, a). p(X, Y) :- q(Z), p(X, X).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(x, a).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, a).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, b).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(x, a)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, a)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, b)."), false);
|
||||
|
||||
submit(&mut wam, "q(z).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, b).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(x, a).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, b)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(x, a)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y)."), true);
|
||||
|
||||
submit(&mut wam, "p(X, a). p(X, Y) :- q(Y), p(X, X).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, b).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, b)."), false);
|
||||
|
||||
submit(&mut wam, "p(a, z). p(X, Y) :- q(Y), p(X, Y).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, z).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(a, z).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(a, X).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(b, a).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(a, z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(a, X)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(b, a)."), false);
|
||||
|
||||
submit(&mut wam, "p(X, Y, Z) :- q(X), r(Y), s(Z).
|
||||
p(a, b, Z) :- q(Z).");
|
||||
p(a, b, Z) :- q(Z).");
|
||||
|
||||
submit(&mut wam, "q(x).");
|
||||
submit(&mut wam, "r(y).");
|
||||
submit(&mut wam, "s(z).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y, Z).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(a, b, c).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(a, b, C).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y, Z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(a, b, c)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(a, b, C)."), true);
|
||||
|
||||
submit(&mut wam, "p(X) :- q(X). p(X) :- r(X).");
|
||||
submit(&mut wam, "q(X) :- a.");
|
||||
@@ -162,10 +173,10 @@ mod tests {
|
||||
submit(&mut wam, "s(x, t).");
|
||||
submit(&mut wam, "t(y, u).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(x).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(y).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(z).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(x)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(y)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(z)."), false);
|
||||
|
||||
submit(&mut wam, "p(f(f(X)), h(W), Y) :- g(W), h(W), f(X).
|
||||
p(X, Y, Z) :- h(Y), g(W), z(Z).");
|
||||
@@ -174,24 +185,24 @@ mod tests {
|
||||
submit(&mut wam, "f(s).");
|
||||
submit(&mut wam, "z(Z).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y, Z).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, X, Z).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(f(Z)), Y, Z).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, X, X).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y, X).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(f(X)), h(f(X)), Y).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y, Z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, X, Z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(f(Z)), Y, Z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, X, X)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y, X)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(f(X)), h(f(X)), Y)."), false);
|
||||
|
||||
submit(&mut wam, "p(X) :- f(Y), g(Y), i(X, Y).");
|
||||
submit(&mut wam, "g(f(a)). g(f(b)). g(f(c)).");
|
||||
submit(&mut wam, "f(f(a)). f(f(b)). f(f(c)).");
|
||||
submit(&mut wam, "i(X, X).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X)."), true);
|
||||
|
||||
submit(&mut wam, "p(X) :- f(f(Y)), g(Y, f(Y)), i(X, f(Y)).");
|
||||
submit(&mut wam, "g(Y, f(Y)) :- g(f(Y)).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(X)."), true);
|
||||
}
|
||||
|
||||
#[test]
|
||||
@@ -202,123 +213,123 @@ mod tests {
|
||||
submit(&mut wam, "memberchk(X, [X|_]) :- !.
|
||||
memberchk(X, [_|Xs]) :- memberchk(X, Xs).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- memberchk(X, [a,b,c]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- memberchk([X,X], [a,b,c,[d,e],[d,d]]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- memberchk([X,X], [a,b,c,[D,d],[e,e]]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- memberchk([X,X], [a,b,c,[e,d],[f,e]]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- memberchk([X,X,Y], [a,b,c,[e,d],[f,e]]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- memberchk([X,X,Y], [a,b,c,[e,e,d],[f,e]]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- memberchk(X, [a,b,c])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- memberchk([X,X], [a,b,c,[d,e],[d,d]])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- memberchk([X,X], [a,b,c,[D,d],[e,e]])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- memberchk([X,X], [a,b,c,[e,d],[f,e]])."), false);
|
||||
assert_eq!(submit(&mut wam, "?- memberchk([X,X,Y], [a,b,c,[e,d],[f,e]])."), false);
|
||||
assert_eq!(submit(&mut wam, "?- memberchk([X,X,Y], [a,b,c,[e,e,d],[f,e]])."), true);
|
||||
|
||||
// test deep cuts.
|
||||
submit(&mut wam, "commit :- a, !.");
|
||||
submit(&mut wam, "commit :- a, !.");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- commit."), false);
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- commit.").failed_query(), true);
|
||||
|
||||
submit(&mut wam, "a.");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- commit.").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- commit."), true);
|
||||
|
||||
submit(&mut wam, "commit(X) :- a(X), !.");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- commit(X).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- commit(X)."), false);
|
||||
|
||||
submit(&mut wam, "a(x).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- commit(X).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- commit(X)."), true);
|
||||
|
||||
submit(&mut wam, "a :- b, !, c. a :- d.");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- a.").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- a."), false);
|
||||
|
||||
submit(&mut wam, "b.");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- a.").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- a."), false);
|
||||
|
||||
submit(&mut wam, "d.");
|
||||
|
||||
// we've committed to the first clause since the query on b
|
||||
// succeeds, so we expect failure here.
|
||||
assert_eq!(submit(&mut wam, "?- a.").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- a."), false);
|
||||
|
||||
submit(&mut wam, "c.");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- a.").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- a."), true);
|
||||
|
||||
submit(&mut wam, "a(X) :- b, !, c(X). a(X) :- d(X).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- a(X).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- a(X)."), false);
|
||||
|
||||
submit(&mut wam, "c(c).");
|
||||
submit(&mut wam, "d(d).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- a(X).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- a(X)."), true);
|
||||
|
||||
submit(&mut wam, "b.");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- a(X).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- a(X)."), true);
|
||||
|
||||
wam.clear();
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- c(X).").failed_query(), true);
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- c(X)."), false);
|
||||
|
||||
submit(&mut wam, "a(X) :- b, c(X), !. a(X) :- d(X).");
|
||||
submit(&mut wam, "b.");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- a(X).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- a(X)."), false);
|
||||
|
||||
submit(&mut wam, "d(d).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- a(X).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- a(X)."), true);
|
||||
|
||||
submit(&mut wam, "c(c).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- a(X).").failed_query(), false);
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- a(X)."), true);
|
||||
}
|
||||
|
||||
|
||||
#[test]
|
||||
fn test_queries_on_lists() {
|
||||
let mut wam = Machine::new();
|
||||
|
||||
submit(&mut wam, "p([Z, W]).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p([Z, Z]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z, W, Y]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | W]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | [Z]]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | [W]]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | []]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z, Z])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z, W, Y])."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | W])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | [Z]])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | [W]])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | []])."), false);
|
||||
|
||||
submit(&mut wam, "p([Z, Z]).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p([Z, Z]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z, W, Y]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | W]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | [Z]]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | [W]]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | []]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z, Z])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z, W, Y])."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | W])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | [Z]])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | [W]])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | []])."), false);
|
||||
|
||||
submit(&mut wam, "p([Z]).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p([Z, Z]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z, W, Y]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | W]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | [Z]]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | [W]]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | []]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z, Z])."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z, W, Y])."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | W])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | [Z]])."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | [W]])."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Z | []])."), true);
|
||||
|
||||
submit(&mut wam, "member(X, [X|Xs]).
|
||||
member(X, [Y|Xs]) :- member(X, Xs).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- member(a, [c, [X, Y]]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- member(c, [a, [X, Y]]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- member(a, [a, [X, Y]]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- member(a, [X, Y, Z]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- member([X, X], [a, [X, Y]]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- member([X, X], [a, [b, c], [b, b], [Z, x], [d, f]]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- member([X, X], [a, [b, c], [b, d], [foo, x], [d, f]]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- member([X, Y], [a, [b, c], [b, b], [Z, x], [d, f]]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- member([X, Y, Y], [a, [b, c], [b, b], [Z, x], [d, f]]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- member([X, Y, Z], [a, [b, c], [b, b], [Z, x], [d, f]]).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- member(a, [c, [X, Y]])."), false);
|
||||
assert_eq!(submit(&mut wam, "?- member(c, [a, [X, Y]])."), false);
|
||||
assert_eq!(submit(&mut wam, "?- member(a, [a, [X, Y]])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- member(a, [X, Y, Z])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- member([X, X], [a, [X, Y]])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- member([X, X], [a, [b, c], [b, b], [Z, x], [d, f]])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- member([X, X], [a, [b, c], [b, d], [foo, x], [d, f]])."), false);
|
||||
assert_eq!(submit(&mut wam, "?- member([X, Y], [a, [b, c], [b, b], [Z, x], [d, f]])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- member([X, Y, Y], [a, [b, c], [b, b], [Z, x], [d, f]])."), false);
|
||||
assert_eq!(submit(&mut wam, "?- member([X, Y, Z], [a, [b, c], [b, b], [Z, x], [d, f]])."), false);
|
||||
}
|
||||
|
||||
#[test]
|
||||
@@ -336,92 +347,92 @@ mod tests {
|
||||
p(X) :- x.
|
||||
p([c, d, e]).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(a).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(b).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(c).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(a)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b, X)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, X)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, c)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d, e]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d | X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c|X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|[d|Xs]]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(a)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(b)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(c)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(a))."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b, X))."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, X))."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, c))."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b))."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d, e])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d | X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c|X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|[d|Xs]])."), true);
|
||||
|
||||
submit(&mut wam, "a.");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(a).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(b).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(c).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(a)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b, X)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, X)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, c)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d, e]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d | X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c|X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|[d|Xs]]).").failed_query(), false);
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(a)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(b)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(c)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(a))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b, X))."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, X))."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, c))."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b))."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d, e])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d | X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c|X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|[d|Xs]])."), true);
|
||||
|
||||
submit(&mut wam, "b.");
|
||||
submit(&mut wam, "f(x).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(a).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(b).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(c).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(a)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b, X)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, X)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, c)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d, e]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d | X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c|X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|[d|Xs]]).").failed_query(), false);
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(a)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(b)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(c)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(a))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b, X))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, X))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, c))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d, e])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d | X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c|X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|[d|Xs]])."), true);
|
||||
|
||||
submit(&mut wam, "c.");
|
||||
submit(&mut wam, "g(X).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(a).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(b).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(c).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(a)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b, X)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, X)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, c)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d, e]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d | X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c|X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|[d|Xs]]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(blah).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(a)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(b)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(c)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(a))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b, X))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, X))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, c))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d, e])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d | X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c|X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|[d|Xs]])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(blah)."), false);
|
||||
|
||||
submit(&mut wam, "x.");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(a).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(b).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(c).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(f(a)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b, X)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, X)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, c)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d, e]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d | X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([c|X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|X]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|[d|Xs]]).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- p(blah).").failed_query(), false);
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(a)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(b)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(c)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(true(a))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b, X))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, X))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(Y, c))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(g(b))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d, e])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c, d | X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([c|X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|X])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p([Y|[d|Xs]])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(blah)."), true);
|
||||
|
||||
submit(&mut wam, "call(or(X, Y)) :- call(X).
|
||||
call(trace) :- trace.
|
||||
@@ -433,41 +444,116 @@ mod tests {
|
||||
call(call(X)) :- call(X).
|
||||
call(repeat).
|
||||
call(repeat) :- call(repeat).
|
||||
call(true).");
|
||||
call(false).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- call(repeat)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(false)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(call(repeat))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(call(false))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(notrace)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(nl)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(builtin(X))."), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(extern(X))."), false);
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- call(repeat).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(true).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(call(repeat)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(call(true)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(notrace).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(nl).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(builtin(X)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(extern(X)).").failed_query(), true);
|
||||
|
||||
submit(&mut wam, "notrace.");
|
||||
submit(&mut wam, "nl.");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- call(repeat).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(true).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(call(repeat)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(call(true)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(notrace).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(nl).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(builtin(X)).").failed_query(), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(extern(X)).").failed_query(), true);
|
||||
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- call(repeat)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(false)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(call(repeat))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(call(false))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(notrace)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(nl)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(builtin(X))."), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(extern(X))."), false);
|
||||
|
||||
submit(&mut wam, "builtin(X).");
|
||||
submit(&mut wam, "extern(x).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- call(repeat).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(true).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(call(repeat)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(call(true)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(notrace).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(nl).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(builtin(X)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(extern(X)).").failed_query(), false);
|
||||
assert_eq!(submit(&mut wam, "?- call(repeat)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(false)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(call(repeat))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(call(false))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(notrace)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(nl)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(builtin(X))."), true);
|
||||
assert_eq!(submit(&mut wam, "?- call(extern(X))."), true);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_queries_on_conjuctive_queries() {
|
||||
let mut wam = Machine::new();
|
||||
|
||||
submit(&mut wam, "p(a, b).");
|
||||
submit(&mut wam, "q(b, c).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y), q(Y, Z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y), q(Y, X)."), false);
|
||||
|
||||
submit(&mut wam, "p(a, [f(g(X))]).");
|
||||
submit(&mut wam, "q(Y, c).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y), q(Y, Z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y), q(Y, X)."), false);
|
||||
|
||||
submit(&mut wam, "member(X, [X|_]).
|
||||
member(X, [_|Xs]) :- member(X, Xs).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- member(X, [a,b,c]), member(X, [a,b,c])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- member(X, [a,b,c]), member(X, [b,c])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- member(X, [a,c]), member(X, [b,c])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- member(X, [a,b,c,d]), !, member(X, [a,d])."), true);
|
||||
assert_eq!(submit(&mut wam, "?- member(X, [a,b,c,d]), !, member(X, [e])."), false);
|
||||
assert_eq!(submit(&mut wam, "?- member([X,X],[a,b,c,[d,d],[e,d]]),
|
||||
member(X, [a,b,c,d,e,f,g]),
|
||||
member(Y, [X, a, b, c, d])."),
|
||||
true);
|
||||
assert_eq!(submit(&mut wam, "?- member([X,X],[a,b,c,[d,d],[e,d]]),
|
||||
member(X, [a,b,c,d,e,f,g]),
|
||||
!,
|
||||
member(Y, [X, a, b, c, d])."),
|
||||
true);
|
||||
|
||||
submit(&mut wam, "p(a, [f(g(X))]).");
|
||||
submit(&mut wam, "q(Y, c).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y), q(Y, Z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y), q(Y, X)."), false);
|
||||
|
||||
submit(&mut wam, "p(a, [f(g(X))]). p(X, c) :- c.");
|
||||
submit(&mut wam, "c.");
|
||||
submit(&mut wam, "q(Y, c).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y), q(Y, Z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y), !, q(Y, Z)."), true);
|
||||
|
||||
submit(&mut wam, "q([f(g(x))], Z). q([f(g(y))], Y). q([f(g(z))], a).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y), q(Y, Z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y), !, q(Y, Z)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y), !, q(Y, X)."), true);
|
||||
|
||||
submit(&mut wam, "p(X, [f(g(x))]). p(X, [f(g(y))]). p(X, [f(g(z))]).");
|
||||
|
||||
assert_eq!(submit(&mut wam, "?- q(f(X), Y), p(X, Y)."), false);
|
||||
assert_eq!(submit(&mut wam, "?- q(X, Y), p(X, Y)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y), q(X, Y)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- p(X, Y), q(Y, X)."), true);
|
||||
assert_eq!(submit(&mut wam, "?- q(X, Y), p(Y, X)."), true);
|
||||
}
|
||||
}
|
||||
|
||||
fn process_buffer(wam: &mut Machine, buffer: &str)
|
||||
{
|
||||
match parse_TopLevel(buffer.trim()) {
|
||||
Ok(tl) => {
|
||||
let result = eval(wam, &tl);
|
||||
print(wam, result);
|
||||
},
|
||||
Err(_) => {
|
||||
println!("Grammatical error of some kind!");
|
||||
}
|
||||
};
|
||||
}
|
||||
|
||||
fn prolog_repl() {
|
||||
@@ -481,13 +567,11 @@ fn prolog_repl() {
|
||||
if buffer == "quit\n" {
|
||||
break;
|
||||
} else if buffer == "clear\n" {
|
||||
wam = Machine::new();
|
||||
wam.clear();
|
||||
continue;
|
||||
}
|
||||
|
||||
let result = eval(&mut wam, buffer.trim());
|
||||
print(&mut wam, result);
|
||||
|
||||
process_buffer(&mut wam, buffer.trim());
|
||||
wam.reset();
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user