2008-06-17 P87-91 The Art Of Prolog Book Prolog AI 4 The Computational Model of Logic Programs 4.1 Unification