<goal> ( pred args -- goal )

Vocabulary

logic.private

Inputs

pred	an object
args	an object

Outputs

goal

an object

Definition

USING: kernel namespaces ;

IN: logic.private

:: <goal> ( pred args -- goal )
    pred get args called-args logic-goal boa ; inline