jinyang175

HI guys, Consider the following program: ``` input relation Z(a:string) relation PQRI(a:string) relation PLEY(a:string) relation NFUV(a:string) output relation OUT(a:string) PQRI(v) :- Z(v), Z(nbj). PLEY(o) :- PQRI(x), Z(o), Z(x). NFUV(q) :-...