:- dynamic arg1Isa/2,arg2Isa/2,runTime/3.

lsDir(Dir,Files) :-
	blahBlahBlah.

runTime(lsDir,worstCase,linear).
runTime(lsDir,averageCase,linear).


sortAlphanumerically(InputList,OutputList) :-
	blahBlahBlah.

runTime(sortAlphanumerically,worstCase,nSquared).
runTime(sortAlphanumerically,averageCase,nLogN).


write_list(List) :-
	blahBlahBlah.

runTime(write_list,worstCase,linear).
runTime(write_list,averageCase,linear).


arg1Isa(lsDir/2,directory).
arg2Isa(lsDir/2,<list>(file)).
neg(hasSideEffects(lsDir/2)).

arg1Isa(sortAlphanumerically/2,list).
arg2Isa(sortAlphanumerically/2,alphanumericallySortedList).
neg(hasSideEffects(sortAlphanumerically/2)).

arg1Isa(write_list/1,list).
hasSideEffect(write_list(List),displayedOnScreen(List)).

goal(prettyPrintDirectory(Dir)) :-
	displayedOnScreen(Files),
	hasType(Files,<alphanumericallySortedList>file),
	foreach((member(File,Files),hasParentDir(File,Dir))).

solve(prettyPrintDirectory(Dir),Program) :-
	searchForSolution([goal(prettyPrintDirectory(Dir))]).

test :- solve(prettyPrintDirectory(Dir),Program),
	call(Program,'/tmp').