Well, C++ has constant variables too, no?
Actually the term "binding" is often used in functional languages. However, the term "variable" can also be understood to be entirely meaningful there. By 'varying' the variable (an identifier in the code you are looking at) simply doesn't have the same value always (say, between every time a function is being called), compared to a constant that would always stay, well, constant.
For example in the code fragment:
int foo(const int i) { .. }
the value i varies although it can never be mutated.
I'm thinking trying to write an algorithm in C++ using just constant variables gives you some idea how to write functional algorithms; but the language isn't quite suitable for it, with the lack of lambda functions (yes, those are coming!) and true garbage collection.