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

io.github.kelvindev15.prolog.solver

package io.github.kelvindev15.prolog.solver

Members list

Type members

Classlikes

trait Solver

Instances of this trait solve PrologPrograms.

Instances of this trait solve PrologPrograms.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Solver

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Solver.type
Generated with