Register
register(+Ref, +Alias): registers Ref -- an it.unibo.tuprolog.solve.libs.oop.ObjectRef or it.unibo.tuprolog.solve.libs.oop.TypeRef -- under the ground alias term Alias, by adding a matching it.unibo.tuprolog.solve.libs.oop.rules.Alias fact to the current solver's static knowledge base. Once registered, Ref can be referred to as $Alias anywhere a reference is expected. See Unregister for removing an alias again.
Throws
if Ref or Alias is unbound, or Alias is not ground.
if Ref is not a it.unibo.tuprolog.solve.libs.oop.Ref, or Alias is not a it.unibo.tuprolog.core.Struct.