:- dynamic fact/1.


fact(hasEmailAddress(_,helloEmail)).
%hasEmailAddress(_,kjlfsd).