A useful chapter - getting started tutorial

[dougransom]

I think a useful chapter would be a getting started tutorial.

Start with a working program that does something, using have a dozen predicates with two clauses each.
p1 :- ....
p2 :- ...
p3 :- ...
...
p6 :-...

Exercises, get used to the syntax errors in your toplevel:

• On line p2, put a % to comment it out, consult, what happens.
  -- On line p2, put a # python comment in error, what happens.
  -- repeat the above after the first clause of a predicate, before the second clause.
  -- replace a :- with a :.

Next exercise: repeat with a DCG example.

Show how to use some debugging features of scryer.

Show how to put a testcase in the file, so when you consult, you can easily run the example.

Next exercise:

A few examples of predicates, like integer, -> , dif, etc, that the reader might want to use later.