Programming language implementation and logic programming | lit.salon