... (X, dc : creator, N1, def) tripleq (X, dc : creator, N2, def), N1 ! ... is a new predicate defined by a rule: aura (TTTS (P,)') — answera (TTT5(P,)).
確定! 回上一頁