ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog.

Omar El-Khatib, Enrico Pontelli, Tran Cao Son

Browse the full PADL paper archive.