alice.tuprolog

Class StateGoalEvaluation