If Term is a term that contains atoms using variable syntax
([A-Z].*), VarTerm is a copy of Term with all such atoms replaced by
variables. In addition this performs the following rewrites:
A term N/D is translated into rat(N,D)
An atom N/D is translated into rat(N,D)
A quoted atom is translated into its unquoted equivalent
Arguments:
Bindings
- is a list Name=Var that contains the variable names.