Elevator Example and the Prolog VM

[abramobagnara]

@jan

For 99% of the cases once/1 should be deprecated.

Why once/1 is deprecated? In favor of what? We use once/1 to get first solution (if any) of a nondet predicate.

@jan

It prunes choice points too late.

Can you elaborate?