client logic


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

slide: client logic