Source : Free On-Line Dictionary of Computing

TABSOL
     
         A language extension for {GECOM} written in the
        form of {truth tables} which was compiled into code for the
        tests and actions described.  TABSOL was developed by
        T.F. Kavanaugh, and was in use around 1964-5.
     
        (1996-09-15)
     
        [Proc FJCC 18:117-136, AFIPS (Fall 1960)].
     
        (1996-09-16)