Recent studies have demonstrated that compilation-based techniques can be beneficial for evaluating Datalog and ASP programs. In this paper, we develop a compiler that is able to generate solvers for normal logic programs under the well-founded semantics. The proposed system has been evaluated on different settings and preliminary results highlight significant improvements in the evaluation of non-stratified programs.
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics
Mazzotta G.;Ricca F.
2023-01-01
Abstract
Recent studies have demonstrated that compilation-based techniques can be beneficial for evaluating Datalog and ASP programs. In this paper, we develop a compiler that is able to generate solvers for normal logic programs under the well-founded semantics. The proposed system has been evaluated on different settings and preliminary results highlight significant improvements in the evaluation of non-stratified programs.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
