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). };