TAPL in miniKanren cKanren core.logic

Magic incantations I always forget:

To start the Clojure REPL (and load both the clojure and core.logic jars):

java -classpath clojure/lib/*:. clojure.main

(or whatever path there is to clojure/lib)

A better way is to use 'lein': see the README for the Clojure version of TAPL.

To start swank/slime in Emacs:

M-x clojure-jack-in

(Thanks to David Nolen for telling me about this.)

To load the tapl code from the REPL:

(ns tapl-repl
  (:use [tapl.core])
  (:refer-clojure :exclude [==])
  (:use [clojure.core.logic])
  (:use [clojure.core.match :only [match]]))

To load just core.logic:

(ns tapl-clojure
   (:refer-clojure :exclude [==])
   (:use clojure.core.logic))