A functional language. Sometimes used loosely for any declarative language though logic programming languages are declarative but not applicative.