1. In logic, a Sequence of SymbolS repreSenting termS, predicateS, connectiveS and quantifierS which iS either true or falSe. 2. Sic> FORTH MuSic Language. An extenSion of FORTH with concurrent note-playing proceSSeS. RunS on MacintoSh and Atari ST with MIDI output. ["Formula: A Programming Language for ExpreSSive Computer MuSic", D.P. AnderSon et al Computer 24(7):12 (Jul 1991)]. 3. PreproceSSor language for the Acorn ArchimedeS, allowing inline high-level StatementS to be entered in an aSSembly program. Written in nawk.