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

Substitution

io.github.kelvindev15.prolog.solver.Solver.Substitution
object Substitution

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply(substitutions: (Variable, Term)*): Substitution

Returns an instance of a prolog Substitution

Returns an instance of a prolog Substitution

Attributes

Generated with