From 036e4d897209afb2bbb07de4759c37be39438798 Mon Sep 17 00:00:00 2001 From: chenwei Date: Sun, 21 Jan 2018 14:33:19 +0800 Subject: [PATCH] Fix benchmark about zebrao --- src/main/clojure/clojure/core/logic/bench.clj | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/main/clojure/clojure/core/logic/bench.clj b/src/main/clojure/clojure/core/logic/bench.clj index 6274e007..da2b0600 100644 --- a/src/main/clojure/clojure/core/logic/bench.clj +++ b/src/main/clojure/clojure/core/logic/bench.clj @@ -90,7 +90,9 @@ (membero ['japanese 'parliaments (lvar) (lvar) (lvar)] hs) (membero [(lvar) 'oldgolds (lvar) 'snails (lvar)] hs) (nexto [(lvar) (lvar) (lvar) 'horse (lvar)] [(lvar) 'kools (lvar) (lvar) (lvar)] hs) - (nexto [(lvar) (lvar) (lvar) 'fox (lvar)] [(lvar) 'chesterfields (lvar) (lvar) (lvar)] hs))) + (nexto [(lvar) (lvar) (lvar) 'fox (lvar)] [(lvar) 'chesterfields (lvar) (lvar) (lvar)] hs) + (membero [(lvar) (lvar) 'water (lvar) (lvar)] hs) + (membero [(lvar) (lvar) (lvar) 'zebra (lvar)] hs))) (comment (run 1 [q] (zebrao q))