solve/it.unibo.tuprolog.solve/Solution/Yes/substitution

substitution

abstract override val substitution: <ERROR CLASS>
Content copied to clipboard

The substitution that has been applied to find the solution, or a failed substitution