Полный англо-русский словарь
Программа проверки на непротиворечивость средство контроля согласованности (напр. данных)