Summary
Simple non-determinism
Meta-data
Words
Tuple classes
Macro words
Symbol words
Ordinary words
Class predicate words
Files
Children
Simple non-determinism
Meta-data
| Authors: | William Schlieper |
Words
Tuple classes
| Class | Superclass | Slots |
 amb-failure |  tuple |
Macro words
| Word | Stack effect |
 amb-execute | ( seq -- quot ) |
| checkpoint | ( quot -- quot ) |
Symbol words
| failure |
Ordinary words
| 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 -- ? ) |
| number-from | ( from -- from+n ) |
| require | ( ? -- ) |
Class predicate words
| Word | Stack effect |
| amb-failure? | ( object -- ? ) |
Files
Children
| Vocabulary | Summary |
 backtrack.private | backtrack.private vocabulary |