PanLinx
русский
rus-000
прямой вывод
English
eng-000
direct deduction
English
eng-000
direct output
English
eng-000
forward chaining
PanLex
