formula
1. In logic, a sequence of symbols representing terms,
{predicate}s, {connective}s and {quantifier}s which is either
true or false.
2. 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}.