Thomas Charles CONWAY
conway at cs.mu.OZ.AU
Wed Apr 22 20:04:21 AEST 1998
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 Conway || conway at cs.mu.oz.au
AD DEUM ET VINUM || Nail here  for new monitor.
More information about the developers