logic-tutorial
logic-tutorial copied to clipboard
Walkthrough in 2018
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 conde
example because I found it confusing when both clauses would match 'Bob
. I changed this so the first clause matches 'Bob
and the second matches 'John
.