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?