Big Chemical Encyclopedia

Chemical substances, components, reactions, process design ...

Articles Figures Tables About

The type LOGICAL

Structure attributes (parameters) of type LOGICAL are elements of the dual set (.T.. F.) where. T. and. F. denote the Boolean constants TRUE and FALSE. The regular set logical ( Tokens of the neutral file language on page 160) formally defines the set of LOGICAL constants. [Pg.23]

Another approach is proposed by [Takayama 87], namely doing the constructive proofs in the typed logical system Q/, and then extracting programs in some intermediate code that is then compiled into Prolog. [Pg.27]

See other pages where The type LOGICAL is mentioned: [Pg.143]    [Pg.162]    [Pg.23]   


SEARCH



The Boolean (Logical) Data Type

© 2024 chempedia.info