長程序列推理