On Dec 15, 2005, at 4:15 PM, Lukas Faulstich wrote:
Hi,
in the context of software testing I'm faced with the problem of
comparing two large terms (the specified and the actual result of a
computation) and to find out how one term differs from the other.
It would be helpful to discover, for instance, that some subterm of
term A has moved to a different place in term B. In short, the
algorithm should compute a (minimal) tree edit script that converts
term A into term B.
Does anyone know of an existing prolog implementation for this?
No, but if you find a nice solution I'm very interested. I need
something like that for the source-level
debugger to deal with clauses modified using goal/term-expansion, but
never found the time to sit
and think carefully about this problem.
Cheers --- Jan
|
