Generative Story Worlds as Linear Logic Programs