Predicate Import Mechanism

steps to search for an undefined predicate

The import mechanism is as follows:

  • built-in (module prolog)

  • explicit imports (import table).

  • parent module mechanism.

  • SWI auto-loader.