(db-rel man x)

[MiPnamic]

Mac OS X 10.9.2
Leiningen 2.3.4 on Java 1.7.0_45 Java HotSpot(TM) 64-Bit Server VM

Started with: lein repl

nREPL server started on port 62480 on host 127.0.0.1
REPL-y 0.3.0
Clojure 1.5.1
    Docs: (doc function-name-here)
      (find-doc "part-of-name-here")
  Source: (source function-name-here)
 Javadoc: (javadoc java-object-or-class-here)
    Exit: Control+D or (exit) or (quit)
 Results: Stored in vars *1, *2, *3, an exception in *e

user=> (require 'clojure.core.logic)

FileNotFoundException Could not locate clojure/core/logic__init.class or     clojure/core/logic.clj on classpath:   clojure.lang.RT.load (RT.java:443)
user=> Bye for now!

Then I readed your issues and go with: lein deps

Retrieving org/clojure/clojure/1.5.1/clojure-1.5.1.pom from central
Retrieving org/sonatype/oss/oss-parent/5/oss-parent-5.pom from central
Retrieving org/clojure/tools.macro/0.1.2/tools.macro-0.1.2.pom from central
Retrieving org/clojure/pom.contrib/0.0.25/pom.contrib-0.0.25.pom from central
Retrieving org/clojure/clojure/1.3.0/clojure-1.3.0.pom from central
Retrieving org/clojure/core.logic/0.8.5/core.logic-0.8.5.pom from central
Retrieving org/clojure/clojure/1.4.0/clojure-1.4.0.pom from central
Retrieving org/clojure/clojure/1.5.1/clojure-1.5.1.jar from central
Retrieving org/clojure/tools.macro/0.1.2/tools.macro-0.1.2.jar from central
Retrieving org/clojure/core.logic/0.8.5/core.logic-0.8.5.jar from central

Again with: lein repl

nREPL server started on port 62502 on host 127.0.0.1
REPL-y 0.3.0
Clojure 1.5.1
    Docs: (doc function-name-here)
          (find-doc "part-of-name-here")
  Source: (source function-name-here)
 Javadoc: (javadoc java-object-or-class-here)
    Exit: Control+D or (exit) or (quit)
 Results: Stored in vars *1, *2, *3, an exception in *e
user=> (require 'clojure.core.logic)
nil
user=> (load "logic_tutorial/tut1")
nil
user=> (in-ns 'logic-tutorial.tut1')
#<Namespace logic-tutorial.tut1'>
logic-tutorial.tut1'=> (db-rel man x)
CompilerException java.lang.RuntimeException: Unable to resolve symbol: db-rel in this context, compiling:(/private/var/folders/4g/45s9zz315n755hcw40p1fkhc0000gn/T/form-init4359838546023436825.clj:1:1)