Herbrand Models Logic Lecture 2. Example: Models X( Y((mother(X) child_of(Y,X)) loves(X,Y))) mother(mary) child_of(tom,mary)