What is Prolog good for? Do I need it? In my post above I indicated having removed prolog-extensions but trying to do it now again wants to autoremove ohm-plugin-prolog which I do not list above. It is quite possible that I missed it, of course. I have never knowingly used Prolog, nor do I feel any urge to start now.