It would fit Prolog. You terminate the program, by proving that it doesn't exist.

Sounds like a great name for a post-rock digicore/hyperpop midwest emo band.