swannodette/logic-tutorial — Issue #6: appendo doesn't work for me as described in tutorial always returns ()
Author: manythumbed
Created: 2011-12-19 20:54:38+00:00
State: open

tim@mwmbles:~/play/clojure/logic-tutorial$ lein repl
REPL started; server listening on localhost port 5065
user=> (load "logic_tutorial/tut2")
WARNING: == already refers to: #'clojure.core/== in namespace: logic-tutorial.tut2, being replaced by: #'clojure.core.logic.minikanren/==
WARNING: inc already refers to: #'clojure.core/inc in namespace: logic-tutorial.tut2, being replaced by: #'clojure.core.logic.minikanren/inc
WARNING: reify already refers to: #'clojure.core/reify in namespace: logic-tutorial.tut2, being replaced by: #'clojure.core.logic.minikanren/reify
nil
user=> (in-ns 'logic-tutorial.tut2)
#
logic-tutorial.tut2=> (run* [q] (appendo [1 2] [3 4] q))
()
logic-tutorial.tut2=>(run* [q] (appendo [1 2] q [1 2 3 4]))
()
logic-tutorial.tut2=>