PanLinx
беларуская
bel-000
логіка прэдыкатаў
русский
rus-000
логика предикатов
PanLex