Promoting Modular Nonmonotonic Logic Programs
Modularity in Logic Programming has gained much attention over the past years. To date, many formalisms have been proposed that feature various aspects of modularity. In this paper, the authors present their current work on Modular Nonmonotonic Logic Programs (MLPs), which are logic programs under answer set semantics with modules that have contextualized input provided by other modules. Moreover, they allow for (mutually) recursive module calls. They pinpoint issues that are present in such cyclic module systems and highlight how MLPs addresses them.