%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% MC-TopLog 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:-['mcTopLog.pl'].


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  Data set
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
/*--------- Toy Example ---------*/
%:-['datasets/animal/running.pl'].
% Train example
%:-['datasets/familyTree/family.pl']. 
%:-['datasets/path_edge/abduction/evInputPath_edge']. % induction or both

/*--------- Others' dataset ---------*/
%:-['datasets/odd_even/odd_evenEx'].
%:-['datasets/bioNetwork/inoue/ex'].
%:-['datasets/metalog/hyEx'].
% Jose's dataset
%:-['datasets/floris/hypertension/inputFiles_mcTopLog_original/running'].
%:-['datasets/jianzhong/running.pl'].

/*--------- Real-world ---------*/
%:-['datasets/grammar/ex'].
%:-['datasets/tomato/tomato_data.pl']. 
%:-['datasets/cancer/cancer_data.pl']. 

/*--------- Higher-order Predicate Invention ---------*/
:-['datasets/highOrder_PredicateInvention/2_cfg/running.pl'].
%:-['datasets/highOrder_PredicateInvention/1_regular_grammar/running.pl']. %generating/
%:-['datasets/chair_design/ex'].
%:-['datasets/highOrder_PredicateInvention/parity/running.pl'].
%:-['datasets/highOrder_PredicateInvention/2_contextFree_grammar/running.pl']. %running.pl %pushdown_automata
%:-['datasets/highOrder_PredicateInvention/2_naturalLanguage_contextFreeGrammar/running.pl'].
%:-['datasets/highOrder_PredicateInvention/4_mono-diadic/running.pl'].
%:-['datasets/highOrder_PredicateInvention/monadic/running'].   

%:-['datasets/highOrder_PredicateInvention/2_cfg/rg_deterministic_P2_Max15_P9_Max20/ex_2-3_102.pl'].

/*:-	yap_flag(argv,[InputFile1,InputFile2]),
	consult(InputFile2),
atom_chars(InputFile2,InputFile2Chars),
	append(Pre,[e,x,'_',ProblemSize,'_',Index,'.',p,l],InputFile2Chars),
	%write({ProblemSize,Index}),
	%nl.
	asserta(problem_info(ProblemSize,Index)),
	it,
	retract(problem_info(ProblemSize,Index)).*/

:-	yap_flag(argv,[InputFile1,InputFile2]),
	consult(InputFile2),
	atom_chars(InputFile2,InputFile2Chars),
	%append(Pre,[e,x,'_',ProblemSize,'_',Index,'.',p,l],InputFile2Chars),
	append(Pre,[e,x,'_'|Rest],InputFile2Chars),
	append(Problem_infoChars,['.',p,l],Rest),
	atom_chars(Problem_info,Problem_infoChars),
%write(Problem_info).
	%write({ProblemSize,Index}),
	%nl.
	asserta(problem_info(Problem_info)),
	it,
	retract(problem_info(Problem_info)).