Nonmonotonic Logic Foundation of the Requirements Specification Language