Unsolvable Decision Problems for Prolog Programs