若第二条规则改为: Q(x,y) Q(x,z) and S(t,y)and z>t结果呢? q0: C B q1: C B q2: C B q3=q2? 1 3 2 1 3 2令s: A B *1 3 1 3 1 1 3 3 2 1 3 3 1 1 3 2 ?