PanLinx
日本語
jpn-000
前向き連鎖
English
eng-000
forward chaining
PanLex