Yup, it seems like quite a simple spec really, doesn't it?
If the first "choice" succeeds (and it could succeed more than once since "Corresp" has its own choice points), then _don't_ try the second choice.
Otherwise succeed using the second choice (which, btw, is unique - no backtracking "choice" points here) _unless_ the previous parse level also used the second choice. (That's the PrevIsNum variable).
A doddle imperatively, but declaratively...? in clp? Hm... _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
