an algorithmic language having statements that resemble algebraic expressions