[Jason-bugs] Anonymous variables are not renamed correctly

[Tim C. <tim...@ya...>]

Jason developers,

There is an issue with the renaming of anonymous variables. I have attached an asl file that demonstrates what I see as the issue, a prolog file that demonstrates the expected behaviour, and a patch to be applied to src/jason/asSyntax/Structure.java that fixes the issue. This patch was generated relative to the current (1.3.1) release of jason. To summarize the issue: in a structure, when an anonymous variable is renamed a new instance of the anonymous variable is constructed via clone. However, from the perspective of a unifier these new instances are seen as identical due to them having the same anonymous name. Thus, even in cases where one would expect multiple unique anonymous variables to be constructed, one is left with a single variable (with multiple java instances). If there are any issues with the patch please let me know.

regards,
Tim Cleaver


      __________________________________________________________________________________
Last chance to win a Sony entertainment pack thanks to Yahoo!7. Hurry, ends Nov 30. Enter now: http://au.docs.yahoo.com/homepageset/