[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