Want to use core.logic from the REPL

Got there but stuff like this never ceases to put me off.