[m-rev.] [www] for review: update references to Aditi on papers page

[Julien Fischer]

On Fri, 10 Mar 2023, Zoltan Somogyi wrote:

> On Fri, 10 Mar 2023 20:55:15 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
>> +The same kind of approach was also used in the Mercury interface to the Aditi
>> +deductive database system.
>
> I would change to wording here to clarify that neither Aditi nor
> the Mercury interface to it exists anymore. The wording above
> is ambiguous; it could mean that both exist, but the interface now
> uses a different approach.

I've changed it to:

    The same kind of approach was also once used in the Mercury interface to
    the Aditi deductive database system, although both of these no longer
    exist.

>> @@ -4156,7 +4153,7 @@ with cover page.
>>   <p>
>>   <a name="tr90-2">
>>   The following paper is also relevant to the Aditi interface mentioned above.
>> -It describes a source-to-source transformation implemented in the
>> +It describes a source-to-source transformation that was implemented in the
>>   Mercury compiler.
>
> Same here. I would say "that was once implemented ...", and change
> the first "is" to "was".

Done.

Julien.