unify
open fun unify( term1: <ERROR CLASS>, term2: <ERROR CLASS>, occurCheckEnabled: Boolean): <ERROR CLASS>?
Content copied to clipboard
Unifies two Terms if possible
open fun unify(term1: <ERROR CLASS>, term2: <ERROR CLASS>): <ERROR CLASS>?
Content copied to clipboard
Unifies two Terms if possible, with occurs check