Alpha-conversion

From OpenCog

The atomspace and the pattern matcher automatically perform alpha conversion (see also: [1]) for bound variables in certain expressions. See VariableNode, FreeLink and ScopeLink for additional discussion.