alice.tuprolog

Class StateBacktrack