It's possible to define log schemes, and Olsson's thesis defines log stacks.
Is there a definition of log prestack in the literature? Is it easy to extend Gaitsgory-Rozenblyum type results (construction and properties of QCoh and IndCoh, crystals, etc.) to the log prestack situation, and has it been written down? If it is not easy, what are the main obstacles?