PanLinx
русский
rus-000
обратный вывод
English
eng-000
backward chaining
PanLex
