PanLinx
русский
rus-000
модуль управления дедуктивными операциями
English
eng-000
inference control module
PanLex
