[mercury-users] Re: Facilities of Nercury

[Paul Massey]

Hello,

Fergus> equivalents in the latest development version,
Fergus> called functor/3, arg/3, and (tentatively) expand/4
Fergus> (`=..' is hardly mnemonic, and expand/4 is not much
Fergus> better; does anyone have a suggestion for a better
Fergus> name for this predicate?).  These will be available
Fergus> in the next release of Mercury.

If the predicate does something like the 'univ' operator in
standard prolog (and from reading the documentation it does
appear to) then the predicate name should probably remain as
'=..'. Why change a name which appears in most standard
prolog textbooks (even if the name is not mnemonic or easily
understandable) ? Of course, I'm not saying that an
additional (more mnemonic) definition shouldn't be provided
in the library.

Just a thought,

Paul.