Guiding and Diversifying LLM-Based Story Generation via Answer Set Programming