通过海量题库、编程比赛和实时排名,系统化提升您的编程能力。
在 初 始 状 态 为 INROOM(ROBOT,R2) ∧INROOM(BOX1 , R2)∧CONNECTS(D1 , R1 , R2) 的 模 型 中 , 当 采 用 操 作 符pushthru(BOX1,d,R2,R1) 后 , 得 到 状 态 : ( )