Uses of Class
alice.tuprolog.UnknownVarException