Integrating an Answer Set Solver into Prolog: ASP-PROLOG.

Omar El-Khatib, Enrico Pontelli, Tran Cao Son

Browse the full LPNMR paper archive.