Integrating an Answer Set Solver into Prolog: ASP-PROLOG.
Omar Elkhatib, Enrico Pontelli, Tran Cao Son · 2005
A number of answer set solvers have been proposed in recent years, such as Smodels, DLV, Cmodels, and ASSAT. Most existing ASP solvers have been extended to provide front-ends that are suitable to encode specialized forms of knowledge—e.g., weight-constraints, restricted forms of optimization, front-ends