appendo doesn't work for me as described in tutorial always returns ()

[manythumbed]

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)

<Namespace 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=>

[jsofra]

appendo is not working for me either, see below:

logic-tutorial.tut2=> (run* [q] /(appendo [1 2] [3 4] q)) () logic-tutorial.tut2=> (run* [q] /(appendo [1 2] q [1 2 3 4])) ()