strict

@JvmStatic()
fun strict(context: Substitution): Unificator
Content copied to clipboard

Creates naive unification strategy, with the given context, that checks Terms identity through their Term.equals methods

@JvmStatic()
fun strict(): Unificator
Content copied to clipboard

Creates naive unification strategy, that checks Terms identity through their Term.equals methods