:-op(500,fy,'$').
:-op(500,fy,'\+').

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Load in build-in libraries
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:-use_module(library(lists)).
:-use_module(library(terms)).
:-use_module(library(ordsets)).
:-use_module(library(rbtrees)).
:-use_module(library(random)).
:-use_module(library(apply_macros)).
:-use_module(library(timeout)).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  Auto-edit input files
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:-['source/auto_edit/run.pl'].

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  mc-TopLog
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

:-['source/generalise.pl'].

/*---------- Generating Candidate Hypotheses ---------*/
:-['source/genEIs_T']. %_multiE
%:-['source/topTheory_varConnection.pl']. % -- removable?
:-['source/nonGroundHBuilder.pl'].

%:-['source/GILPS/bottom clause/bottom_clause.pl'].


/*---------- Select Candidates -----------*/
:- set(learning_mode,iterative_covering)	->
  consult('source/covering_local.pl');
  consult('source/covering.pl').  


:-['source/increamental_searchSpace.pl']. 

:-['source/insertTheories/decomposed_intoCla_outputed.pl']. 
:-['source/treeConstruction/coverageNonSorted_fluxRecord.pl']. % coverageSorted_fluxRecord %_beamSearch
%:-['source/treeConstruction/differentDescriptionLength/hypothesisSelection_groupingChoosing_keepPreSelection_FluxPassing.pl']. 	%hypothesisSelection_noEIs_combineCheck	
%hypothesisSelection_groupingChoosing_noRecordForCombineAndCompeting
%:-['source/treeConstruction/differentDescriptionLength/hypothesisSelection_group_ScoreBased.pl']. %hypothesisSelection_groupingChoosing_keepPreSelection_FluxPassing_beamSearch_EIsubsetIgnored %hypothesisSelection_groupingChoosing_keepPreSelection_FluxPassing_beamSearch_fewRecord
:-['source/treeConstruction/differentDescriptionLength/hypothesisSelection1.pl'].
%:-['source/treeConstruction/draw.pl']. 
%:-['source/claIndex.pl']. 
:-['source/hypothesisSelection_preprocssing_smallestShared.pl'].
:-['source/hypothesisSelection_smallestShared.pl'].
%:-['source/hypothesisSelection_domainSpecific.pl'].
%:-['source/treeConstruction/hypothesisSelection.pl'].

:-['source/cross_product_thretholdPruning.pl']. % I can't remember what is this one for?


/*--------- Cross Valiation ----------*/

%:-['source/cross_validation/crossValidation.pl']. % _temp
:-['source/cross_validation/learning_curve_fixTestTrainIndex.pl']. %experimentalEvaluation.
:-['source/sample_examples.pl'].


:-['source/exProcess.pl'].
:-['source/utilities.pl'].






%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 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.