:- ensure_loaded( library(lists) ).		% append/3, memberchk/2.

:- ensure_loaded( all_dynamic ).			% /1.
:- ensure_loaded( ad_to_slp ).			% /1.

:- ensure_loaded( 'lib/opts_have_help' ).	     % /1.
:- ensure_loaded( 'lib/opts_select_infiles' ).	% /3.

sload( InOpts ) :-
	( opts_have_help(InOpts) ->
		write( 'sload:    load an SLP to memory.' ), nl, nl,
		write( ' Options,' ), nl,
		write( '          rm(RmBool)    remove tmp file, Def: true' ), nl,
		write( '          tmp(Tmp)      temporary file to use' ), nl
		;
		opts_select_infiles( InOpts, Files, OthOpts ),
		sload( Files, OthOpts )
	).

sload( Files, Opts ) :-
	all_dynamic( Files ),
	sload_defaults( Defs ),
	append( Opts, Defs, All ),
	memberchk( rm(Del), All ),
	memberchk( tmp(Tmp), All ),
	ad_to_slp( [rm(Del),tmp(Tmp)] ).

sload_defaults( [rm(true),tmp('tmp_sload.slp')] ).