Added loop types
Added prolog term generator
Deleted VariableDefinitionTest