alice.tuprolog

Class SubGoalStore