formula

1. In logic, a sequence of symbols representing terms,

predicates, connectives and quantifiers 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 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.