10 Mar 2005
CS 3243 - FOL and Prolog
6
Atomic sentences
nAtomic sentence = predicate (term1,...,termn) or term1 = term2
n
nTerm            = function (term1,...,termn) or constant or variable
n
nE.g.,
nBrother(KingJohn,RichardTheLionheart)
nLength(LeftLegOf(Richard)) = Length(LeftLegOf(KingJohn))
Functions can be viewed as complex names for constants