## 13.2.5.3 Proclamations

Page 417 of 800 |
| Search internet |

Logiweb has several predefined concepts. A 'proclamation' is a construct that attaches predefined concepts to symbols. In contrast, 'definitions' described later attaches user defined concepts to symbols.

As an example, the if-then-else construct is a predefined concept of Logiweb and one may 'proclaim' that some symbol (r,i) denotes if-then-else.

Proclamations are best described by an example. Suppose a base page with reference r defines the following symbols:

proclaim | = | (r,1) | has arity 2 |

if | = | (r,2) | has arity 3 |

x | = | (r,3) | has arity 0 |

Furthermore suppose (r,1) is a 'proclamation symbol'. How a symbol becomes a proclamation symbol is described later. Finally let 'if' denote the string symbol (0,26217) which represents the 'if' string.

A tree of form

(proclaim (if (x) (x) (x)) ('if'))

is a proclamation that proclaims (r,2) to denote the predefined if-then-else construct of Logiweb.

In general, a proclamation is a tree for which the root is a proclamation symbol, the root of the first subtree is the symbol to receive a predefined meaning, and the second subtree is a string.

Page 417 of 800 |
| Search logiweb.eu |

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