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.

[Proc FJCC 18:117-136, AFIPS (Fall 1960)].