Prolog
Read The Power of Prolog.
Prolog vs Datalog
Compare with top down vs bottom up in dynamic programming.
Datalog is the "answer" half of prolog. It corresponds to "returns" in prolog
What is Logic Programming
Computation = Proof Search.
:-
is horizontal bar of inference rules.
Pure vs Impure Prolog
For the purposes of this book, I am only referring to mostly pure constructs in prolog.
Because the control flow of prolog is relatively predictable compared to datalog or minikanren, there is an irresistable temptation to use imperative constructs. This situation mirrors that of Haskell vs Scheme/Ocaml. The lazy excution of haskell makes reasoninig about true side effectful code so difficult that they are forced to use the monadic paradigm. There are benefits to this discipline.
Magic Set
Unification Variables
The meaning of unification variables is not just one thing.
Minikanren
At the level of comparison of this book, minikanren is more or less the same as prolog. It has a very similar notion of unification variable, is top down. It differs from prolog in the method by which is chooses to perform search.
Will Byrd chips in on his comparison between prolog and minikanren.