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

io.github.kelvindev15.prolog.solver.tuprolog

package io.github.kelvindev15.prolog.solver.tuprolog

Members list

Packages

package io.github.kelvindev15.prolog.solver.tuprolog.visitors

Type members

Classlikes

class TuPrologClassicSolver extends Solver

A Solver that leverages on the tuProlog engine

A Solver that leverages on the tuProlog engine

Attributes

Supertypes
trait Solver
class Object
trait Matchable
class Any
object TuPrologFactoryMethods

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Generated with