unify/it.unibo.tuprolog.unify/toEquations

toEquations

fun <ERROR CLASS>.toEquations(): List<Equation>
Content copied to clipboard

Transforms a Substitution into the list of corresponding Equations