Keywords – inconsistency and logic programming