7bits_たかがProlog,されどProlog