amb-execute ( seq -- quot )

Vocabulary

backtrack

Inputs

seq	a list of words

Outputs

None

Word description

Execute the first word in the list, and go to the next one if fail is called.

Definition

USING: assocs backtrack.private combinators kernel math
quotations sequences ;

IN: backtrack

MACRO: amb-execute ( seq -- quot )
    [ length 1 - ] [ <enumerated> [ 1quotation ] assoc-map ] bi
    [ [ 0 unsafe-number-from-to nip ] curry ] dip [ case ] curry
    compose ;