logic-tutorial

logic-tutorial copied to clipboard

Hi David. I went through the tutorial this morning, below are some commits which update the tutorial in a few ways to be current in 2018. I also modified the...

MageMasher

Zebras puzzle

1

Overall I found this to be a great introduction to the package. However, I found the final example given to be quite frustrating. It could really benefit from some explanation...

csdrane

Line 23 gives the writing more clarity 'use' -> 'us'. Typo

haujason

Hi Required by the one of the assignments of my technical writing course I am supposed to edit other people's writing. I think the minor changes that I have proposed...

saharjs

Small change for a sentence to make it more readable.

ho-ian

Missing word "to" in "we need define" and add missing word "an" in "final parameter be output variable".

adamnieto

val461

- Describe `conso` and how the provided `appendo` works. - Added the missing pattern matching version of `appendo`. closes #18.

AkRKSmith

Forgot an apostrophe.

hibiscusbiscuit

``` tut1=> (with-dbs [men facts] (run* [q] (fresh [x y] (likes x y) (== q [x y])))) ([Mary Bob] [Bob Mary] [John Lucy]) ``` doesn't work. It returns ``` ([Bob...

pwin