it is used for logic programming and for the formalization of programming language theory this event takes place in the first week of may technically this storm was an extratropical cyclone