dummy


  object dummy : root, top  {
  
  var x, y= x+y*z , z, q.
  
  dvmember(X,[H,R|T2]) :-
          dvmember(X,[ H,Y,Z ]).
  
  p(a).
  
  p(a,X,f(Y)).
  
  m(Y) :- m(X).
  
  };

slide: dummy