updated for initial work on implementing microKanren

LICENSE

@@ -1,19 +1,19 @@
-# Copyright (c) 2012-2013 James Tauber and contributors
-# 
+# Copyright (c) 2012-2014 James Tauber and contributors
+#
 # Permission is hereby granted, free of charge, to any person obtaining a copy
 # of this software and associated documentation files (the "Software"), to deal
 # in the Software without restriction, including without limitation the rights
 # to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 # copies of the Software, and to permit persons to whom the Software is
 # furnished to do so, subject to the following conditions:
-# 
+#
 # The above copyright notice and this permission notice shall be included in
 # all copies or substantial portions of the Software.
-# 
+#
 # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 # IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 # AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-# THE SOFTWARE.
+# THE SOFTWARE.

README.md

@@ -1,15 +1,20 @@
 pykanren
 ========
 
-an attempt to implement miniKanren in Python
+an attempt to implement miniKanren and microKanren in Python
 
-Currently working through the original miniKanren[1] and *The Reasoned
+I was working through the original miniKanren[1] and *The Reasoned
 Schemer*, occasionally checking stuff in chapter 3 of William Byrd's PhD thesis[2],
 Clojure's core.logic[3] and newer miniKanren[4]. Also helpful was Ambrose
 Bonnaire-Sergeant's talk "Introduction to Logic Programming with Clojure"[5].
 
-[1] http://kanren.cvs.sourceforge.net/kanren/kanren/mini/mk.scm  
-[2] http://gradworks.umi.com/3380156.pdf  
-[3] https://github.com/clojure/core.logic  
-[4] https://github.com/webyrd/miniKanren  
+Now with the existence of microKanren[6][7] I'm trying my hand at implementing
+that.
+
+[1] http://kanren.cvs.sourceforge.net/kanren/kanren/mini/mk.scm
+[2] http://gradworks.umi.com/3380156.pdf
+[3] https://github.com/clojure/core.logic
+[4] https://github.com/webyrd/miniKanren
 [5] http://blip.tv/clojure/ambrose-bonnaire-sergeant-introduction-to-logic-programming-with-clojure-5936196
+[6] http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf
+[7] https://github.com/jasonhemann/microKanren/blob/master/microKanren.scm