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

Solver

io.github.kelvindev15.prolog.solver.Solver
See theSolver companion object
trait Solver

Instances of this trait solve PrologPrograms.

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Abstract methods

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.

Concrete 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.

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.

Generated with