PanLinx
русский
rus-000
механизм логических выводов
English
eng-000
inference engine
PanLex
