Undrinking happens automatically after a dozen or so more drinks.

You're a Prolog programmer, I infer...

And then what? You tell the officer that you really haven't been drinking, and that they can trust you?