Knowledge Systems Laboratory, Stanford
University
9
Function Terms and Relational Sentences
uFunction Term
8(<function constant>
<term>* [<sequence variable>])
E.g., (plus 2 3) (Father-Of Richard) (plus 4 ?x @Other-Addends)
8Denotes the
object denoted by the “value” of the function with
the given arguments
uRelational Sentence
8(<relation constant>
<term>* [<sequence variable>])
E.g, (Parent Richard
Earl) (Clear A) (Set-Partition Set1 @Sets)
8Equations –
(= <term> <term>)
E.g, (= (Father Richard)
Earl) (= A B)
8Inequalities –
(/= <term> <term>)
E.g, (/= (Father Richard)
(Father Bob)) (/= A B)