isAliasRegistered

Whether alias (the Alias argument of a well-formed $Alias expression) is currently registered, i.e. whether an it.unibo.tuprolog.solve.libs.oop.rules.Alias fact for it can be found in the current knowledge base.