% c-compatibility? % def(X) :- def(X,"def"). def(X,S) :- (var(X)->writeln(X),throw(S);true). % temporary? used by old compiler % % possibly remove or move to core2 %