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