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)

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]))
()