Uses of Class
alice.tuprologx.pj.engine.NoSolutionException