Answer Set Programming (ASP) is a successful method for solving range of real-world applications. Despite the availability fast ASP solvers, computing answer sets demands very large computational power, since problem tackled in second level polynomial hierarchy. A speed-up set computation may be attained, if program can split into two disjoint parts, bottom and top. Thus, part evaluated indepen...

split of the moon (shaqq al-qamar) is introduced as one of the prophet’s miracles. this miracle is supported by evidences from the noble verse of the qur’ān ﴾the hour has drawn near and the moon is split.﴿ [q. 54:1], and a collection of the shī‘a and sunnī traditions. this noble verse has been understood in several ways, of which, one concerns the split of the moon in the time of the prophet an...