I am new to Prolog. I’d like to use a mechanism similar to class inheritance in object-oriented languages, but with SWI Prolog modules. I’d like to have a more specialized module inherit predicates from a more generic module, and then have the ability to override, in the more specific module, the definition of some of the predicates coming from the generic module.
It seems the add_import_module/3 predicate is how you would easily do it in SWI Prolog. But I couldn’t find any examples online.
Would you have knowledge of any examples I could use to see how the add_import_module/3 predicate works?
Thank you in advance,