unsafe-amb ( seq -- quot )

Vocabulary

backtrack.private

Inputs

seq

an object

Outputs

quot

an object

Definition

USING: backtrack kernel quotations sequences ;

IN: backtrack.private

MACRO: unsafe-amb ( seq -- quot )
    dup length 1 =
    [ first 1quotation ] [
        unclip swap [ [ drop ] ] dip [ unsafe-amb ] curry
        compose [ checkpoint ] 2curry
    ] if ;