Arc Forum | I think we could add a prolog-style cut-operator (def cut () (if amb-st...

Arc Forum

2 points by rincewind 6036 days ago | link | parent

I think we could add a prolog-style cut-operator

   (def cut ()
       (if amb-stack* (pop amb-stack*)))

But I am not sure whether the semantics of this is like in Prolog. It may not be exactly the same.