From standard logic to logic programming | lit.salon