Alpha-conversion

From OpenCog
Jump to: navigation, search

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.