TACPOL

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