Handbook
Glossary
amb-lazy ( seq -- elt )
Simple backtracking non-determinism
Prev:
amb ( seq -- elt )
Vocabulary
backtrack
Inputs
seq
an
object
Outputs
elt
an
object
Definition
USING:
backtrack.private
kernel
sequences
;
IN:
backtrack
:
amb-lazy
( seq -- elt )
[
amb-integer
]
[
nth
]
bi
;