1. In logiC, a sequenCe of symbols representing terms, prediCates, ConneCtives and quantifiers whiCh is either true or false. 2. C> 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.