Prologの復権とその限界