PanLinx
tiếng Việt
vie-000
chuỗi suy luận thuận
English
eng-000
forward chaining
PanLex
