loop_nogoods :: [Rule] -> [Atom] -> [CClause]
-- return the loop nogoods of the program for a given unfounded set
loop_nogoods p u = [ loop_nogood atom (external_bodies p u) | atom<-u ]
loop_nogoods :: [Rule] -> [Atom] -> [CClause]
loop_nogoods p u = [ loop_nogood atom (external_bodies p u) | atom<-u ]
loop_nogoods p u = [ loop_nogood atom (external_bodies p u) | atom<-u ]