alice.tuprolog

Interface ISolution<Q,S,T>