10 Mar 2005
CS 3243 - FOL and Prolog
9
Models for FOL: Example