alice.tuprolog

Class NoMoreSolutionException