論理型プログラミングの写経