Programming lanugage that uses procedures