10 Mar 2005
CS 3243 - FOL and Prolog
40
Another example
likes(george,kate).
likes(george,susie).
likes(george,wine).
?-
likes(george,X)
X = kate
;
X = susie
;
X = wine
;
no
Answer: kate or susie or wine or
false