Functional syntax (Was: RE: [mercury-users] Hi, and determinism)

[Mattias Waldau]

I am a seasoned Prolog-programmer and I used Mercury a bit half a year ago.
I really liked Mercury, but as Dan detects, most of your predicates are det
or semidet, and all the semidet are used for testing, i.e. returns a boolean
value.

As noted in previous entries, semidet can hide some variable problems.

The solution is obvious: Remove the variables, and that can in many cases be
done by using functional syntax (even if the functions are nondet).

There were some proposals like this in the eighties. Have you thought about
it?

/mattias

P.s. I have stopped using Mercury right know, since my predicates mostly
were det or semidet. I am using Ocaml. However, I am very curious about HAL,
since constraint programming needs a logic language, a functional isn't
enough.

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