graal icon indicating copy to clipboard operation
graal copied to clipboard

Published 20 hours ago • verified publisher icon graphik-team

BUG: parseAtom does not preserve variable names

Open shade-belisar opened this issue 6 years ago • 4 comments

When parsing the Atom "predicate(X)" with DlgpParser.parseAtom, the result is "predicate\1(I0)". I would expect it to be "predicate\1(X)". Is there a reason why the variable name is ignored, or is this a bug?

shade-belisar avatar Jan 10 '19 02:01 shade-belisar