io.github.kelvindev15.prolog.solver.Solver.Solution
Attributes
-
Graph
-
-
Supertypes
-
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Members list
A wrapper for the exception raised by the solver.
A wrapper for the exception raised by the solver.
Attributes
A No solution, the the attempted query.
A No solution, the the attempted query.
Attributes
A Yes solution, with the resolved query and the inferred substitutions.
A Yes solution, with the resolved query and the inferred substitutions.
Attributes