Original Parser

version 1 by Ron Newcomb

  • Home page
  • Beginning
  • Previous
  • Next



  • Chapter 5 - Truth States as 'We' Commands

    [ It's always difficult to name truth states because nothing reads naturally other than a letter: if x is true. These phrases allow us to name a truth state after an imperative sentence, and the optional adverbs allow us to imply how the variable is being used. ]
    To decide if we still/should/-- (bool - a truth state): (- ({bool}) -).
    To decide if we do/-- not/cannot/shouldn't/haven't (bool - a truth state): (- (~~({bool})) -).
    To we will/should/just/now/still/may (bool - a truth state) again/--: (- {bool} = true; -);
    To we no/do longer/not have/-- (bool - a truth state): (- {bool} = false; -).
    To we needn't/shouldn't (bool - a truth state): (- {bool} = false; -).
    To we will/should/may (bool - a truth state) if (c - a condition): (- {bool} = ({c}); -);