The idea here is that we use subsumption during clause set generation
But take care, this clause set generation is incomplete!
Take e.g. S1 = :- F(x) < :-F(a) and S2 = :- G(x) < :- G(b) but
S1 x S2 = :- F(x), G(x) does not subsume :- F(a), G(b).
TODO: make a safe version (e.g. disjoint variables are safe)
The idea here is that we use subsumption during clause set generation But take care, this clause set generation is incomplete! Take e.g. S1 = :- F(x) < :-F(a) and S2 = :- G(x) < :- G(b) but S1 x S2 = :- F(x), G(x) does not subsume :- F(a), G(b). TODO: make a safe version (e.g. disjoint variables are safe)