顺序推理机

sequential inference machine