PanLinx
English
eng-000
predicate programming
русский
rus-000
предикатное программирование
PanLex