Uses of Class
alice.tuprolog.NoSolutionException

Packages that use NoSolutionException

alice.tuprolog

Uses of NoSolutionException in alice.tuprolog

Methods in alice.tuprolog that throw NoSolutionException

Term	SolveInfo.getTerm(java.lang.String varName) Gets the value of a variable in the substitution
Term	SolveInfo.getSolution() Gets the solution of the request
Var[]	SolveInfo.toVarArray() Gets the list of the variables in the solution.
Term	SolveInfo.getVarValue(java.lang.String name) Gets the term value bound to a variable