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