Reexe ution-based Analysis of Logi Programs with Delay De larations