External Computations and Interoperability in the New DLV Grounder
the stable model semantics for logic programming .