Assocative predicates

[Thomas Charles CONWAY]

Fergus Henderson <fjh at cs.mu.OZ.AU> writes:


>When Harald say "It seems nicer to simply use that formula", I think that
>Harald is probably just so used to the convention of implicit universal
>quantification that he has forgotten that we are using it.
>But to someone who does more Mercury or Prolog programming than
>they do logic theory, the opposite convention of implicit existential
>quantification in goals may seem more natural.

Indeed! I had to read your followup a couple of times very carefully
because I got confused by the "incorrect" implicit quantifiers.

Thomas
--
Thomas Conway    || conway at cs.mu.oz.au
AD DEUM ET VINUM || Nail here [] for new monitor.