The Type System

The type symbols are used to label application domain objects: all events, database table records, and database table attributes have related predicate, function, and constant type symbols, respectively, with which the term instances are labelled. The type symbols provide operations to parse input text, construct events and tuples, lookup constants, and specialize -- downcast -- terms to the constituent atom or finite domain symbol when such exists. The type hierarchy is enormous, and so I'll introduce it in stages, starting from the root, and considering alternatives.


Bill Pippin 2010-01-14