Indian central civil service pension rules: a case study in logic programming applyied to regulations