Multi-paradigm languages -- logic