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

Yes

io.github.kelvindev15.prolog.solver.Solver.Solution.Yes
final case class Yes(query: Struct, substitution: Substitution)

A Yes solution, with the resolved query and the inferred substitutions.

Attributes

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with