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

substitution

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

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