Assocative predicates

Thomas Charles CONWAY conway at
Wed Apr 22 20:04:21 AEST 1998

Fergus Henderson <fjh at> 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 Conway    || conway at
AD DEUM ET VINUM || Nail here [] for new monitor.

More information about the developers mailing list