[mercury-users] Records
Richard A. O'Keefe
ok at hermes.otago.ac.nz
Mon Nov 8 09:05:31 AEDT 1999
Existential quantification isn't used often enough
in Prolog to make that an important consideration, IMHO.
Existential quantification is used just about *every* time you
use setof/3. It is difficult to imagine a non-trivial Prolog
program without several uses of ^.
--------------------------------------------------------------------------
mercury-users mailing list
post: mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the users
mailing list