tell(_,X:C,X):- not atomic(X),!, dv_dispatch_goal(X:C,X). tell(N,X,R) :- fact(N,X) -> R = bullshit; R = ok.
:- [facts].