[mercury-users] Records

[Richard A. O'Keefe]

	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
--------------------------------------------------------------------------