backtrack: Added cut-amb
parent
8c7cca072f
commit
d46b5387d5
|
@ -66,3 +66,5 @@ MACRO: amb-execute ( seq -- quot )
|
||||||
tri* if
|
tri* if
|
||||||
] with-scope ; inline
|
] with-scope ; inline
|
||||||
|
|
||||||
|
: cut-amb ( -- )
|
||||||
|
f failure set ;
|
||||||
|
|
Loading…
Reference in New Issue