next up previous contents
Next: A brief introduction to Up: The implementation of the Previous: Aside on Precedence and

Implementing algebraic logic in Watson

In this subsection, we discuss the way in which the principles of algebraic logic described above are implemented by Watson. The syntax of actual commands is introduced only in the examples.


Randall Holmes