Декларативен език за програмиране