:- style_check(-singleton).
:- style_check(-discontiguous).
:- was_style_check(-atom).
:- was_style_check(-string).
	
:-moduleEnsureLoaded('sigma_objects.pl').
:-moduleEnsureLoaded('sigma_response.pl').
:-moduleEnsureLoaded('sigma_ports.pl').
:-moduleEnsureLoaded('sigma_reader.pl').
:-moduleEnsureLoaded('sigma_soap.pl').
:-moduleEnsureLoaded('sigma_transitivity.pl').
:-moduleEnsureLoaded('sigma_query_buffer.pl').
:-moduleEnsureLoaded('sigma_enable.pl').
:-moduleEnsureLoaded('sigma_graphs.pl').
:-moduleEnsureLoaded('sigma_canonicalize.pl').
:-moduleEnsureLoaded('sigma_api_test.pl').
:-moduleEnsureLoaded('sigma_exploration.pl').
:-moduleEnsureLoaded('sigma_utility.pl').
:-moduleEnsureLoaded('sigma_builtin.pl').   
:-moduleEnsureLoaded('sigma_ace.pl').
:-moduleEnsureLoaded('sigma_ale.pl').
:-moduleEnsureLoaded('sigma_kif_check.pl').
:-moduleEnsureLoaded('sigma_file_functions.pl').
:-moduleEnsureLoaded('sigma_theorems.pl').
%:-moduleEnsureLoaded('sigma_suo.pl').
%:-moduleEnsureLoaded('sigma_temporal.pl').
%:-moduleEnsureLoaded('sigma_instance.pl').
%:-moduleEnsureLoaded('sigma_member.pl').
%:-moduleEnsureLoaded('sigma_sentence.pl').
%:-moduleEnsureLoaded('sigma_attribute.pl').
:-moduleEnsureLoaded('sigma_assert.pl').
:-moduleEnsureLoaded('sigma_retract.pl').
:-moduleEnsureLoaded('sigma_arg_domains.pl').
:-moduleEnsureLoaded('sigma_surface_inference.pl').
:-moduleEnsureLoaded('sigma_surface_valence.pl').
:-moduleEnsureLoaded('sigma_surf_to_can.pl').
:-moduleEnsureLoaded('sigma_surface_inference.pl').
:-moduleEnsureLoaded('sigma_reduce.pl').
:-moduleEnsureLoaded('sigma_functions.pl').
:-moduleEnsureLoaded('sigma_operation.pl').
:-moduleEnsureLoaded('sigma_graphs.pl').
:-moduleEnsureLoaded('sigma_modules.pl').
:-moduleEnsureLoaded('sigma_database.pl').
:-moduleEnsureLoaded('sigma_consultation.pl').
:-moduleEnsureLoaded('sigma_useragent.pl').
:-moduleEnsureLoaded('sigma_useragent_query.pl').
:-moduleEnsureLoaded('sigma_query.pl').
:-moduleEnsureLoaded('sigma_truth_maintains.pl').
:-moduleEnsureLoaded('sigma_tester.pl').
:-moduleEnsureLoaded('sigma_translit.pl').
:-moduleEnsureLoaded('sigma_term_ml.pl').
:-moduleEnsureLoaded('sigma_httpd.pl').
:-moduleEnsureLoaded('sigma_image.pl').
:-moduleEnsureLoaded('sigma_equal.pl').
:-moduleEnsureLoaded('sigma_query.pl').
:-moduleEnsureLoaded('sigma_compiler.pl').
:-moduleEnsureLoaded('sigma_tabling.pl').
:-moduleEnsureLoaded('sigma_inference.pl').
:-moduleEnsureLoaded('sigma_dynamics.pl').
:-moduleEnsureLoaded('sigma_language.pl').
:-moduleEnsureLoaded('sigma_server.pl').
:-moduleEnsureLoaded('sigma_icl.pl').
:-moduleEnsureLoaded('sigma_ale.pl').

:-write('% Loaded Bootstrap'),nl.