Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Walkthrough in 2018 #35

Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

Walkthrough in 2018 #35

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
cda6055
Upgrade dependencies
MageMasher Oct 30, 2018
ea6e0a0
Replace lein with deps
MageMasher Oct 30, 2018
8c4aaf2
Update conde example to demonstrate *OR* semantics more clearly
MageMasher Oct 30, 2018
fc364d2
Update Resources with more recent urls and editions
MageMasher Oct 30, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 6 additions & 7 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,10 +20,10 @@ However, I admit, the most important reason to learn the relational paradigm is
First Steps
----

1. Install `lein` following [instructions here](http://leiningen.org/#install)
1. Install `clojure` following [instructions here](https://clojure.org/guides/getting_started) if using mac or linux. Install `lein` if on Windows (following [instructions here](http://leiningen.org/#install))
2. `git clone https://github.com/swannodette/logic-tutorial && cd logic-tutorial`

Ok, we're ready to begin. Type `lein repl`, which will drop you into the Clojure prompt. First let's double check that everything went ok. Enter the following at the Clojure REPL:
Ok, we're ready to begin. Type `clj` (or `lein repl`), which will drop you into the Clojure prompt. First let's double check that everything went ok. Enter the following at the Clojure REPL:

```clj
user=> (require 'clojure.core.logic)
Expand Down Expand Up @@ -301,10 +301,10 @@ But how to express logical **or**?
(run* [q]
(conde
((fun q))
((likes q 'Mary)))))
((likes q 'Lucy)))))
```

The above does exactly that - find `q` such that `q` is fun *or* `q` likes Mary. This is the essence of how we get multiple answers from `core.logic`.
The above does exactly that - find `q` such that `q` is fun *or* `q` likes Lucy. This is the essence of how we get multiple answers from `core.logic`.

Magic Tricks
----
Expand Down Expand Up @@ -423,8 +423,7 @@ Resources

If you found this tutorial interesting and would like to learn more I recommend the following books to further you understanding of the relational paradigm.

* [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)
* [The Reasoned Schemer](http://mitpress.mit.edu/books/reasoned-schemer-second-edition)
* [Paradigms of Artificial Intelligence Programming](https://github.com/norvig/paip-lisp)
* [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)

5 changes: 5 additions & 0 deletions deps.edn
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{:paths ["src"]
:deps {org.clojure/tools.macro {:mvn/version "0.1.5"}
org.clojure/clojure {:mvn/version "1.9.0"}
org.clojure/core.logic {:mvn/version "0.8.11"}
}}
5 changes: 0 additions & 5 deletions project.clj
View file
Open in desktop

This file was deleted.