Prolog-as-ScalaDSL
API
Generated with
Prolog-as-ScalaDSL/io.github.kelvindev15.prolog/io.github.kelvindev15.prolog.solver/io.github.kelvindev15.prolog.solver.tuprolog/TuPrologClassicSolver

TuPrologClassicSolver

io.github.kelvindev15.prolog.solver.tuprolog.TuPrologClassicSolver
class TuPrologClassicSolver extends Solver

A Solver that leverages on the tuProlog engine

Attributes

Graph
Supertypes
trait Solver
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def solve(program: PrologProgram): Iterator[Solution]

Solves a program.

Solves a program.

Value parameters

program

the program to solve.

Attributes

Returns

an iterator over the program's Solutions.

Definition Classes

Inherited methods

def lazySolve(program: PrologProgram): LazyList[Solution]

Solves a program.

Solves a program.

Value parameters

program

the program to solve.

Attributes

Returns

a lazy list of the program's Solutions.

Inherited from:
Solver
def solutionsOf(program: PrologProgram): Seq[Solution]

Solves a program.

Solves a program.

Value parameters

program

the program to solve.

Attributes

Returns

a list of the program's Solutions.

Inherited from:
Solver
Generated with