Logic Programming in Scheme

by Nils M Holm

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 pu…