importoption of load_files/2. The first example below loads member/2 from the
listslibrary and append/2 under the name
list_concat, which is how this predicate is named in YAP. The second example loads all exports from library
option, except for meta_options/3. These renaming facilities are generally used to deal with portability issues with as few as possible changes to the actual code. See also section C and section 5.7.
:- use_module(library(lists), [ member/2, append/2 as list_concat ]). :- use_module(library(option), except([meta_options/3])).