normalize ( goal-def/defs -- goal-defs )

Vocabulary

logic.private

Inputs

goal-def/defs

an object

Outputs

goal-defs

an object

Definition

USING: arrays combinators.short-circuit kernel logic namespaces
sequences words.symbol ;

IN: logic.private

: normalize ( goal-def/defs -- goal-defs )
    dup {
        [ !! = ]
        [ ?first dup symbol? [ get logic-pred? ] [ drop f ] if ]
    } 1|| [ 1array ] when ;