get_ng3 :: [Rule] -> Atom -> [CClause]
get_ng3 p a = [ ([BLit b], [ALit a]) | b <- (bodies p a) ]
get_ng3 :: [Rule] -> Atom -> [CClause]
get_ng3 p a = [ ([BLit b], [ALit a]) | b <- (bodies p a) ]
get_ng3 p a = [ ([BLit b], [ALit a]) | b <- (bodies p a) ]