Advances in logic programming theory | lit.salon