Unfortunately, I have never used Mercury. But it likes like a nice addition to be able to specify in/out arguments. In Prolog there are the ?/-/+ markings, but

Unfortunately, I have never used Mercury. But it likes like a nice addition to be able to specify in/out arguments. In Prolog there are the ?/-/+ markings, but these are for documentary purposes.