%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 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'].
%:-['datasets/pharmaceutical/version_posOnly/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/_original
:-['datasets/highOrder_PredicateInvention/2_cfg/running.pl'].
%:-['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_contextFree_grammar_shiftBias/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'].   




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Output Version Information
mcTopLog_version(1).
mcTopLog_manual('http://ilp.doc.ic.ac.uk/mcTopLog/user_manual.html').

versionInfo:-
	nl, nl,
	write('MC-TopLog Version '), 
	mcTopLog_version(Version), write(Version), nl,
	mcTopLog_manual(Man),
	write('Manual: '),
	write(Man), nl, nl.


o:- overall_run.

overall_run:-
	edit_inputFiles,
	file_place(FileDirectory),
	atom_concat([FileDirectory,'ex_transformed.pl'],FileName_exTransformed),consult(FileName_exTransformed),
	atom_concat([FileDirectory,'b_transformed.pl'],FileName_bTransformed),consult(FileName_bTransformed),
	atom_concat([FileDirectory,'topCla_transformed.pl'],FileName_topClaTransformed),consult(FileName_topClaTransformed),
	ggg.