PrologScopeWithUnificationImpl

Constructors

fun PrologScopeWithUnificationImpl(unificator: <ERROR CLASS>)

open fun match( term1: Any, term2: Any, occurCheckEnabled: Boolean = true): Boolean

open infix fun Any.matches(other: Any): Boolean

open fun mgu( term1: Any, term2: Any, occurCheckEnabled: Boolean = true): <ERROR CLASS>

open infix fun Any.mguWith(other: Any): <ERROR CLASS>

open fun unify( term1: Any, term2: Any, occurCheckEnabled: Boolean = true): <ERROR CLASS>?

open infix fun Any.unifyWith(other: Any): <ERROR CLASS>?