search

swannodette / logic-tutorial

A Very Gentle Introduction to Relational Programming
936 stars 80 forks source link

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

Open manythumbed opened 12 years ago

manythumbed commented 12 years ago

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 commented 12 years ago

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