Tag calculus of variations