Merge pull request #1 from namin/master

Clojure's core.logic version
updated README to include Nada's core.logic implementation
fixed formatting problem in README
tweaked README