Uses of Interface
alice.tuprolog.SubGoalId