Datalogのpullという関数