Thee
Proo'
(h,
,9«. : si,
The nonmonotonic system is then specified by letting its set of rules AT be -'r-i-collection {tr(C) : C S P\ of translations of clauses of P.
Definition 7,7:    Let P be a general program with only ground clauses, ir(P), translation of P. is the nonmonotonic system (U,N) wh.ere U is the m
Example 7.10;    Let Q be the following general oro°nram of Geifond and Ufor-lnta
[1.988, 5.4]:
p(l,2).
gfe) p(x,y),-q(v)-
the following