unify ( cb-env x y -- success? )

Vocabulary

logic

Inputs

cb-env	a callback-env
x	an object
y	an object

Outputs

success?

a boolean

Word description

Unifies the two following the environment in that environment.

Definition

USING: accessors logic.private ;

IN: logic

:: unify ( cb-env x y -- success? )
    cb-env env>> :> env x env y env cb-env trail>> env (unify*)
    ;