1. In logic, a sequence of symbols representing terms, predicates, connective
s and quantifier
s which is either true or false.
2. <language, music> FORTH Music Language.
An extension of FORTH
with concurrent note-playing processes.
Runs on Macintosh
and Atari ST with MIDI
["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