Logic For Islamic Rules