myspace(File) :- 
	working_directory(X,X), 
	atom_concat(X,'mine.pl',File).

mine(X) :- 
	nonvar(X), 
	myspace(File), 
	predicate_property(X,file(File)).

goal_expansion(Head,Body) :- 
	mine(Head), 
	singleton(Head,Body).

clauses(Head,All) :- 
	findall(Head/Body,clause(Head,Body),All).

singleton(Head,Body) :- 
	clauses(Head,[Head/Body]).