From b349ac8bf92185d825341f685b7ba0b9cac39a3d Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Mon, 29 May 2017 12:21:05 -0600 Subject: [PATCH] add more tests --- src/main.rs | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/src/main.rs b/src/main.rs index 962c35d0..56c9b048 100644 --- a/src/main.rs +++ b/src/main.rs @@ -625,6 +625,19 @@ mod tests { submit(&mut wam, "p(f(g(X)), compound, [lists,are,good])."); assert_eq!(submit(&mut wam, "?- call(p(f(g(X))), Y, Z)."), true); + + submit(&mut wam, "david_lynch(coffee). + david_lynch(pie). + david_lynch(kyle(Film)) :- kyle(Film)."); + + submit(&mut wam, "kyle(dune). + kyle(blue_velvet). + kyle(showgirls). + kyle(flintstones)."); + + assert_eq!(submit(&mut wam, "?- call(david_lynch, X)."), true); + assert_eq!(submit(&mut wam, "?- call(david_lynch, kyle(Film))."), true); + assert_eq!(submit(&mut wam, "?- call(david_lynch, kyle(Film), _)."), false); } } -- 2.54.0