test


  object test :  root, top  {
  var x = :hush:, y= x+y*z , z = plus y , x plus y plus z , q.
  var z = min x, y = x min c.
  
  member(X,[H,R|T2]) :- member(X,[ H | [Y,Z] ]), nl. 
  
  p(a).
  p(a, int X,f(Y)).
  m(Y) :- C!m(X).
  
  };

slide: test