xyzzyでprolog-mode - negationの日記