next up previous contents
Next: Atomic terms Up: The implementation of the Previous: The implementation of the

The syntax of the term language of Watson

Watson is primarily concerned with the manipulation of terms (as opposed to, say, propositions). This subsection describes the syntax of the term language.


Randall Holmes