Authors: | William Schlieper |
Class | Superclass | Slots |
amb-failure | tuple |
Word | Stack effect |
amb-execute | ( seq -- quot ) |
checkpoint | ( quot -- quot' ) |
failure |
Word | Stack effect |
amb | ( seq -- elt ) |
amb-all | ( quot -- ) |
amb-failure | ( -- * ) |
amb-lazy | ( seq -- elt ) |
bag-of | ( quot -- seq ) |
cut-amb | ( -- ) |
fail | ( -- ) |
if-amb | ( true false -- ? ) |
must-be-true | ( ? -- ) |
number-from | ( from -- from+n ) |
Word | Stack effect |
amb-failure? | ( object -- ? ) |
Vocabulary | Summary |
backtrack.private |