1		:- module(xtl_program,['$load'/1]).
2
3		:- use_module(probsrc(module_information)).
4		:- module_info(group,plugin_xtl).
5		:- module_info(description,'This module provides just a namespace for a loaded XTL file (experimental plugin).').
6		:- module_info(revision,'$Rev$').
7		:- module_info(lastchanged,'$LastChangedDate$').
8
9		'$load'(File) :-
10		prolog_flag(redefine_warnings, Old, off),
11		prolog_flag(single_var_warnings, Old2, off),
12		( load_files([File],[compilation_mode(assert_all)]) ->
13		OK=true ; OK=false),
14		prolog_flag(redefine_warnings, _, Old),
15		prolog_flag(single_var_warnings, _, Old2),
16		OK=true.
17
18		:- public start/1, trans/3, prop/2.
19		:- dynamic start/1, trans/3, prop/2.