Re: [m-users.] Returning a predicate from a function

Volker Wysk <[email protected]>
Newsgroups gmane.comp.lang.mercury.general
Message-ID <[email protected]> 
Am Donnerstag, dem 22.12.2022 um 11:52 +0000 schrieb Mark Clements:
> f_ln(Pred) = (pred(Y::out) is nondet :- Pred(X), Y is math.ln(X)).

Shouldn't that be "Y = math.ln(X)"? Using "is" here seems like an old Prolog
habit.

Volker

_______________________________________________
users mailing list
[email protected]
https://lists.mercurylang.org/listinfo/users
signature.asc (application/pgp-signature, 833 B) 
-----BEGIN PGP SIGNATURE-----

iQIzBAABCgAdFiEE6QXGh82Ov3+2nrxp+K4ydFOsHoUFAmOkarIACgkQ+K4ydFOs
HoUWSg//d6tJmKmYy+xFSQSs0Eev2/FLnhX7msSRq4IDxCAISjU+VkE0wRYQb0jl
Ny4T16hIGwODqkq3KpNLVAe0QHC0w9Cm+9gNjQsLVOMY+luNQZi8TUG0jD293I1t
5I3t7GVu9lWAtpuswiMsggQm7mGRA5030buPXcaSwBg/15Oo1KieuIIGqQ6j0SQn
YHO7cbUjEaVYUU6mXSaa7r6S1ZcT9aT8mQggURclVmEitKzQADNmh9dh8Htv/sDT
ie9C5/oLqjZS4v4N1jreDjXq7GbPejgNDrxF6Q5md44EOyN06NAkPLvJe5AeddkE
HmyecsmzxeV3TcZX8W2X2jSYhtzNDgcQ5xwWkEVz138t7DEsFdOnzou2MmpLgPJa
bxknXhVJm37oNfAWJr8NU03by+6eITWqQMN/WarnsOuwOv8+w+x+xMGxz5dhghYC
RZDuRwojw4o4BkPQHwNIWuaX4L0BIAi0zaTK63jSuptuqj4yNweZn12mYDpejYnP
xPUZi9buTU4I+vtGbd1acc+rupCRkfRX9+BwsnbbJjNfYY53KQ7BUlcpkdOHLVHF
MoTzAfUo2Ns+0MnldjWIT04gE6J7d4a3uIodLx48dx5nFP6Z+cBP3DAk0oIIituj
IMk0LkhKaieTwpI74BJWZrxzdtN9pKeKF85rj+vBjZmaWw/4qNo=
=0WFj
-----END PGP SIGNATURE-----
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.