Function Terms and Relational Sentences
Function Term
- (<function constant> <term>* [<sequence variable>])
E.g., (plus 2 3) (Father-Of Richard) (plus 4 ?x @Other-Addends)
Relational Sentence
- (<relation constant> <term>* [<sequence variable>])
E.g, (Parent Richard Earl) (Clear A) (Set-Partition Set1 @Sets)
- Equations – (= <term> <term>)
E.g, (= (Father Richard) Earl) (= A B)
- Inequalities – (/= <term> <term>)
E.g, (/= (Father Richard) (Father Bob)) (/= A B)