6.3 Importing Predicates into a Module
All Application Manual Name SummaryHelp

Availability:built-in
Sourceuse_module(+File, +ImportList)
Load File, which must be a module file, and import the predicates as specified by ImportList. ImportList is a list of predicate indicators specifying the predicates that will be imported from the loaded module. ImportList also allows for renaming or import-everything-except. See also the import option of load_files/2. The first example below loads member/2 from the lists library 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 changes as possible to the actual code. See also section C and section 6.8. 
:- use_module(library(lists), [ member/2,
                                append/2 as list_concat
                              ]).
:- use_module(library(option), except([meta_options/3])).