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.
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:
-- 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.