C.2.2 The XSB import directive

The XSB import directive takes the form as below.

:- import p/1, q/2, ... from <lib>.

This import directive is resolved as follows:

• If the referenced library is found as a local file, it is loaded and the requested predicates are imported.
• Otherwise, the referenced library is searched for in the dialect/xsb directory of the SWI-Prolog library. If found, the predicates are imported from this library.
• The referenced predicates are searched for in SWI-Prolog built-in predicates and the SWI-Prolog library. If found, they are made available if necessary.