(resolve) ( goal-def/defs quot: ( env -- ) -- )

Vocabulary

logic.private

Inputs

goal-def/defs	an object
quot	a quotation with stack effect ( env -- )

Outputs

None

Definition

USING: combinators sequences ;

IN: logic.private

:: (resolve) ( goal-def/defs quot: ( env -- ) -- )
    goal-def/defs replace-'__' normalize [ def>goal ] map
    :> goals <env> :> env goals env f <cut>
    [ env quot ( env -- ) call-effect ] resolve-body ;