Takes a Filename <filename> and compiles file <filename>.nlp into file <filename>.dlp according to the standard translation of nested logic programs into disjunctive logic programs.
This may result in an exponential blow-up in the worst-case.
Takes a Filename <filename> and compiles file <filename>.nlp into file <filename>.htl according to the structural translation of nested logic programs into disjunctive logic programs.
This translation is guarenteed to result in a polynomial blow-up in the worst-case.
Takes a filename <filename> and pipes the file <filename>.dlv into dlv.
There is a binary version dlv/2 that allows for passing options to dlv.
Try dlv(<filename>,'').