Logic Programming in Scheme

SECOND, REVISED EDITION!
Questions answered in this little book:
What is logic programming?
Why is negation hard in logic programming?
What is cutting?
How do I solve logic puzzles?
How is logic programming implemented?