Meta-logics and logic programming | lit.salon