概要
Simple non-determinism
メタデータ
ワード
タプルクラス
マクロワード
シンボルワード
通常ワード
クラス述語ワード
ファイル
子
Simple non-determinism
メタデータ
| 作者: | William Schlieper |
ワード
タプルクラス
| クラス | スーパークラス | スロット |
 amb-failure |  tuple |
マクロワード
| ワード | スタック効果 |
 amb-execute | ( seq -- quot ) |
| checkpoint | ( quot -- quot ) |
シンボルワード
| failure |
通常ワード
| ワード | スタック効果 |
| 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 | ( ? -- ) |
クラス述語ワード
| ワード | スタック効果 |
| amb-failure? | ( object -- ? ) |
ファイル
resource:extra/backtrack/backtrack.factor
resource:extra/backtrack/backtrack-docs.factor
resource:extra/backtrack/backtrack-tests.factor
resource:extra/backtrack/backtrack-docs.factor
resource:extra/backtrack/backtrack-tests.factor
子
| ボキャブラリ | 概要 |
 backtrack.private | backtrack.private ボキャブラリ |