Attributes
Members list
Type members
Classlikes
Attributes
- Supertypes
-
trait Enumtrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Substitution.type
Types
A mapping from Variables to Terms
A mapping from Variables to Terms
Attributes
Value members
Concrete methods
Solves the goal on program with an empty theory using a solver that is either provided as a context parameter, found as a given instance or by using the default one (TuPrologClassicSolver).
Solves the goal on program with an empty theory using a solver that is either provided as a context parameter, found as a given instance or by using the default one (TuPrologClassicSolver).
Value parameters
- query
-
the goal to be solved.
- solver
-
the solver that should be used.
Attributes
- Returns
-
a lazy list of the program's Solutions.
Solves a program using a solver that is either provided as a context parameter, found as a given instance or by using the default one (TuPrologClassicSolver).
Solves a program using a solver that is either provided as a context parameter, found as a given instance or by using the default one (TuPrologClassicSolver).
Value parameters
- prologProgram
-
the program to solve.
- solver
-
the solver that should be used.
Attributes
- Returns
-
a lazy list of the program's Solutions.
Solves the goal on program with an empty theory using a solver that is either provided as a context parameter, found as a given instance or by using the default one (TuPrologClassicSolver).
Solves the goal on program with an empty theory using a solver that is either provided as a context parameter, found as a given instance or by using the default one (TuPrologClassicSolver).
Value parameters
- query
-
the goal to be solved.
- solver
-
the solver that should be used.
Attributes
- Returns
-
an iterator over the program's Solutions.
Solves a program using a solver that is either provided as a context parameter, found as a given instance or by using the default one (TuPrologClassicSolver).
Solves a program using a solver that is either provided as a context parameter, found as a given instance or by using the default one (TuPrologClassicSolver).
Value parameters
- prologProgram
-
the program to solve.
- solver
-
the solver that should be used.
Attributes
- Returns
-
a list of the program's Solutions.
Solves a program using a solver that is either provided as a context parameter, found as a given instance or by using the default one (TuPrologClassicSolver).
Solves a program using a solver that is either provided as a context parameter, found as a given instance or by using the default one (TuPrologClassicSolver).
Value parameters
- prologProgram
-
the program to solve.
- solver
-
the solver that should be used.
Attributes
- Returns
-
an iterator over the Solutions of the program.
Returns a Solver that leverages on the tuProlog engine.
Returns a Solver that leverages on the tuProlog engine.