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/xsbdirectory 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.