About nfn2dlp

Home - About nfn2dlp - Download - Bibliography

The tool nfn2dlp, transforms normal form nested (nfn) programs to disjunctive logic programs (dlp), such that each answer set of the resulting program is in one-to-one correspondence to the original nfn program. It produces DLP programs in the format of DLV and the separate script nfnsolve uses DLV as a back-end to compute answer sets for NFN programs.

Normal form nested programs are an extension of disjunctive logic programs with variables in which rule heads are formulas in disjunctive normal form made of atoms, and in which the rule bodies are formulas in conjunctive normal form made of literals [Bibliography].

The system nfn2dlp has been implemented using Ruby and the parsing expression grammar language Treetop.