%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 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/1_regular_grammar/running.pl']. %generating/
%:-['datasets/highOrder_PredicateInvention/1_regular_grammar/labeledEx/length1-10/mcTopLog/ex_2_0.pl']. %--test sampled Ex
%:-['datasets/highOrder_PredicateInvention/1_regular_grammar/labeledEx/length1-10/mcTopLog/ex_2_0.pl']. 

%:-['datasets/highOrder_PredicateInvention/2_contextFree_grammar_shiftBias/running.pl']. %running.pl %pushdown_automata
%:-['datasets/highOrder_PredicateInvention/2_contextFree_grammar_shiftBias/labeledEx/length1-10/mcTopLog/ex_4_0.pl']. %running.pl %pushdown_automata
%:-['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'].   




:-	yap_flag(argv,[InputFile1,InputFile2]),
	consult(InputFile2),
	processing_ex.
/*,
	consult('ex_transformed.pl'),
	drawData. */