Non-monotonic extensions of logic programming | lit.salon