%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  Auto-edit input files
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:-['examples/processing_ex.pl'].
:-['declarative_bias/modeDeclaration_topTheory.pl'].
:-['program_transform/transfrom_programs.pl'].


set(declarativeBias_inputType,mode_declaration):- \+set(original_type_of_inputFile,mcTopLog).

e:- edit_inputFiles.

edit_inputFiles:-
	set(declarativeBias_inputType,mode_declaration),!,
	processing_ex,
	modeDeclaration_topTheory,

	transform_topCla,
	transform_backgroundClas.


% for adduction only -- not need to translate top theory from mode
edit_inputFiles:-
	%processing_ex,
	transform_topCla,
	transform_backgroundClas.