Merge branch 'master' of github.com:swannodette/logic-tutorial

README.md

@@ -91,7 +91,7 @@ tut1=> (run* [q] (man q) (fun q))
 (Bob)
 ```
 
-There's a couple of new things going on here. We use <code>run*</code>. This means we want all the answers the computer can find. The question itself is formulated differently than before because we're asking who is a man *and* is fun. Enter in the following:
+There's a couple of new things going on here. We use <code>run\*</code>. This means we want all the answers the computer can find. The question itself is formulated differently than before because we're asking who is a man *and* is fun. Enter in the following:
 
 ```clj
 tut1=> (defrel woman x)
@@ -397,4 +397,4 @@ If you found this tutorial interesting and would like to learn more I recommend
 * [The Reasoned Schemer](http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=10663)
 * [Paradigms of Artificial Intelligence Programming](http://norvig.com/paip.html)
 * [Prolog Programming For Artificial Intelligence](http://www.amazon.com/Prolog-Programming-Artificial-Intelligence-Bratko/dp/0201403757)
-* [Concepts, Techniques, and Models of Computer Programming](http://www.info.ucl.ac.be/~pvr/book.html)
+* [Concepts, Techniques, and Models of Computer Programming](http://www.info.ucl.ac.be/~pvr/book.html)