SWI-Prolog uses module and use_module not lib