solve-classic
/
it.unibo.tuprolog.solve.classic
/
ClassicExecutionContext
/
substitution
substitution
open override val
substitution
:
Substitution.Unifier
Content copied to clipboard