next up previous contents
Next: 2 Up: Rules as Terms Previous: Rules as Terms

1

Principal Functor is 
 
:-
 [-5pt]
Usually, the functor is written in infix form rather than the more usual prefix form.

Paul Brna
Mon May 24 20:14:48 BST 1999