Uses of Class
alice.tuprolog.NoSolutionException

Packages that use NoSolutionException

Package	Description
alice.tuprolog

Uses of NoSolutionException in alice.tuprolog

Methods in alice.tuprolog that throw NoSolutionException

Modifier and Type	Method and Description
List	SolveInfo.getBindingVars() Gets the list of the variables in the solution.
Term	SolveInfo.getSolution() Gets the solution of the request
Term	SolveInfo.getTerm(String varName) Gets the value of a variable in the substitution.
Term	SolveInfo.getVarValue(String varName) Gets the value of a variable in the substitution.