Paradigms of Artifical Intelligence Programming
Links to this note
Unification
Symbolic and relational programming