Backtrackable destructive assignment

• Updatable logical arrays in Prolog: fixing the semantics of setarg/3