Logiweb(TM)

13.2.5.3 Proclamations

Prev Up Next 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.

Prev Up Next Page 417 of 800 Search logiweb.eu

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