10 Mar 2005
CS 3243 - FOL and Prolog
16
Using FOL
The
kinship domain:
nBrothers
are siblings
"x,y Brother(x,y) Þ Sibling(x,y)
nOne's
mother is one's female parent
"m,c Mother(c) = m Û (Female(m) Ù Parent(m,c))
n“Sibling”
is symmetric
"x,y Sibling(x,y) Û Sibling(y,x)