[m-users.] Support for vanilla prolog

Tomas By tomas at basun.net
Fri May 29 20:58:17 AEST 2020

"Optional typing" sounds a bit like "partial virginity".

There are various Prolog typing systems but you are still going to be
stuck with a massive runtime system, a database you may not really
need, and presumably endless debugging with no assistance.

Libraries is not a strong argument. It is fairly easy to integrate
Mercury with C or Java (by changing the back-end).

It is also pretty easy to use Prolog data with Mercury, as they have
similar syntax.

Other than that, yes you have two options: forget Mercury or ditch Prolog.


On Fri, 29 May 2020 07:08:33 +0200, Stuart Reynolds wrote:
> Mercury presents a fork
> For me the benefits of strong typing is faster development of prolog
> in language that's painfully slow to write and debug.
> OTOH, ISO prologs have a considerable number of useful libraries
> (visualization, database connectors).
> Dynamism itself is also occasionally often useful.
> Optional typing would seem to make it straightforward to incorporate
> dynamically typed prolog, but gain
> the benefits of strong typing for new code.

More information about the users mailing list