[m-rev.] for review: use term representation type in oracle knowledge base.

[Julien Fischer]

On Fri, 7 Jan 2005, Ian MacLarty wrote:

> For review by anyone.
>
> Estimated hours taken: 4
> Branches: main
>
> Change the way atoms in the annotated trace are compared by constructing
> a representation of the atom and then doing deterministic comparisons
> on the representation, instead of calling compare_representation on
> the actual atoms, which is cc_multi.
>
> This will make looking up atoms in the knowledge base deterministic instead
> of cc_multi, which is considerably easier to program with.
>

That looks ok.

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------