7bits_たかがPrelog,されど論理