y”) 6/ a' A i V / Ab V d1 = store(d8, a ', y') STP A generates the following clause|| 8 a' A i V w ~ x' V select(di, w) — select(a, w) (3,2) 9 a.
確定! 回上一頁