TACPOL

PL/I-like language used by US Army for command and control.