跳转到主要内容

顺向推理(forward inference)

即“顺向工作”。