[Inquiry] Re: Theme One Program -- Commentary -- Lode

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

TOP.  Commentary Note 56

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Lode.

Lode is a transformation of ideas that acts as a predicate recognizer,
in effect, computing the logical disjunction of the Gram test and the
Suspect test, with the non-nil results shown in the following figures:

Case 1.  gram (this) =/= nil.

              o---o
              | x | arch (this) not in {comma, links, right}
              o---o
              ^
         this | = gram (this)
              @

Case 2.  suspect this =/= nil.

                ^             o-------o
              o--\------------|---o   |
              |   o---o   o---o   |   |
              o-->|   |-->| ) |---o   |
                  o---o   o---o       |
                  ^                   |
                  |   o---------------o
                  |  /
          o-------|-/-------o
          |   o---o<        |
          o-->| ( |-->...---o
              o---o
              ^
         this | = suspect (this)
              @

function lode (this: idea): idea;
var here: idea;
begin
 here := nil;
 if this <> nil then
  if gram (this) <> nil then here := this
   else if suspect (this) <> nil then here := this;
 lode := here
end;

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o