Solution

io.github.kelvindev15.prolog.solver.Solver.Solution
enum Solution

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Enum entries

final case class Halt(exception: Exception)

A wrapper for the exception raised by the solver.

A wrapper for the exception raised by the solver.

Attributes

final case class No(query: Struct)

A No solution, the the attempted query.

A No solution, the the attempted query.

Attributes

final case class Yes(query: Struct, substitution: Substitution)

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

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

Attributes