:- pl( sicstus(_S), ensure_loaded( library(defined_elsewhere_sicstus) ) ).
:- pl( yap(_Y), ensure_loaded(defined_elsewhere_yap) ).
:- pl( swi(_P), ensure_loaded(defined_elsewhere_swi) ).