The Logic programming paradigm | lit.salon