PanLinx
English
eng-000
inferencing algorithm
русский
rus-000
алгоритм логического вывода
PanLex