🧠 Logic: 🚫 add support for the blacklist of predicates

[ccamel]

Purpose

Add support for the blacklist of predicates for the configuration of the interpreter in the Logic module. Currently, only a whitelist of predicates are allowed, which limited the flexibility of the Interpreter.

The blacklist should be represented as a list of <predicate_name>/[<arity>] strings, and it is applied after the whitelist to ensure that blacklisted predicates prevail on whitelisted predicates.

Moreover, If a predicate name without arity is included in this list (either whitelist or blacklist), then all predicates with that name should be considered regardless of arity.