## 13.2.4.9 Bodies

Page 413 of 800 |
| Search internet |

A Logiweb 'tree' is a list that consists of a symbol s followed by zero, one or more trees. The number of trees that follow the symbol must be equal to the arity of the symbol.

As an example, suppose r is a reference cardinal. Let plus = (r,1), let varx = (r,2), and let two = (r,3). Suppose plus has arity two and that varx and two have arity zero. In this case,

(plus (two) (plus (varx) (two)))

is a tree.

The body is unpacked from the flat-tree of the vector of the page.

The body will not display as something like (plus (two) (plus (varx) (two))). Rather, the body will be available in formats like 'pdf' and 'dvi' and will display as something like 2+*x*+2. We shall refer to various ways of displaying a body as 'faces' of the tree.

Logiweb bodies are inspired by Lisp S-expressions.

Page 413 of 800 |
| Search logiweb.eu |

Copyright © 2010
Klaus Grue,
GRD-2010-01-05