[m-dev.] for review: Aditi update doc extractuu

[Fergus Henderson]

On 12-Jul-1999, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
>  
> + at item
> + at samp{@var{Name}} must be the name of a predicate or a function. 
> +If it is a predicate, @samp{@var{PredOrFunc}} must be @samp{pred}.
> +If it is a function, @samp{@var{PredOrFunc}} must be @samp{func}.

What about the case where the same name is overloaded
as both a predicate name and a function name?

I think the wording should be the other way around,
so as to properly cater for that case:

	@samp{@var{PredOrFunc}} must be either @samp{pred} or @samp{func}.
	If it is @samp{pred}, then @samp{@var{Name}} must be the name of
	a predicate, and if it is @samp{func}, then @samp{@var{Name}}
	must be the name of a function.

> +bulk_delete_example_2(DB0, DB) :-
> +        DeleteQ = (aditi_bottom_up
>                  func(DB1::aditi_ui, X::out) = (Y::out) is nondet :-
>                          ancestor(DB1, X, Y)
>                  ),
> -        aditi_bulk_insert(pred p/3, InsertQ, DB0, DB).
> +        aditi_bulk_insert(func f/2, DeleteQ, DB0, DB).

Hmm, shouldn't that be `aditi_bulk_delete' rather than
`aditi_bulk_insert' there?

Apart from those two points, this change looks fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------