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.