%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% HotLog (Higher-order TopLog)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:-['test/learning_curve_fixTestTrainIndex.pl'].
:-['test/score.pl'].
:-['test/utilities.pl'].


:-['test/b_linearCFG.pl'].


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  Data set
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

/******************* Settings for Evaluation ********************/


set(sampleSizes,[4,6,8,10,20,30,40,50,60,70,80,90,100]). %,60,70,80,90,100,110,120,130,140,150 % -- also the 5 below need to be updated
set(sameSizeRepeated,RepeatedTimesIndexes):-numbersList(1,10,RepeatedTimesIndexes).
set(num_samples,1). % same as before
set(test_size,1000).
set(train_size,100).

set(pos_neg_portion,0.5).
set(maxTrainSize,Max):-set(sampleSizes,SampleSizes),last_ele(Max,SampleSizes).


set(evDepth,EI,DepthLimit):-
	ex(EI,parse(Seq),PosNegSign),	
	length(Seq,DepthLimit0),DepthLimit is DepthLimit0+10.



%:-['experiments/metaGol200_result_ASP/ex_2-4_10-2-1.txt'].
%:-['experiments/metaGol200/ex_2-4_10.pl'].

% use for pa.script
:-	yap_flag(argv,[X,Examples,X,Hypothesis]),
	consult(Examples),
	consult(Hypothesis),

	dataList(test,pos,TestPos),dataList(test,neg,TestNeg),
	unCoverRecord(TestPos,FN),length(FN,FalseNegativeNum), 
	unCoverRecord(TestNeg,TN),length(TN,TrueNegativeNum), 
	length(TestPos,TestPosNum),length(TestNeg,TestNegNum), 
	PA is 100*((TestPosNum-FalseNegativeNum)+TrueNegativeNum)/(TestPosNum+TestNegNum),
	tell('oneAccuracy.txt'),
	write(PA),write(' '),
	told.