[mercury-users] Records

[Samuel Sean Watkins]

IMHO, a record should be viewed as a special case of a relation, and a
relation should be viewed as a set of named (w.r.t the relation)
variables, with some contraints.

I think that it is absolutely wrong to use place value in the definition
of a relation, e.g. to say that:

 power(2, 10, 1024)

   is true, but

 power(1024, 10, 2)

   is not.

What we need is something like

exp_log ( exp->10, base->2, power->1024 )

for a relation - order is not significant - and for records:

a_person ( name->'Sam', yob->X, * ),
write( stream->out, value->X )

where * is a wildcard (unbound set).

If my opinion seems inane to you, don't bother to tell me.

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