From logic programming to Prolog | lit.salon