Logic programming and non-monotonic reasoning | lit.salon