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

[Zoltan Somogyi]

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.

> @@ -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".

Zoltan.