Thanks. That would explain why alsa-policy-enforcement depends on swi-prolog. So I won't touch it. But what about the two packages I mentioned above? prolog-extensions and ohm-plugin-prolog? Do I need those?