alice.tuprolog

Class SolveInfo