PanLinx
русский
rus-000
база логических выводов
English
eng-000
deductive database
PanLex
