[m-users.] Support for vanilla prolog

[Julien Fischer]

Hi Stuart,

On Thu, 28 May 2020, Stuart Reynolds wrote:

> I'm sold on the value of strong typing. However, it makes integration
> with existing Prolog codebases problematic. It there support for
> optional typing that would allow Mercury to be used more fluidly with
> existing prolog?

What do you mean by integrating with existing codebases?  Do you mean
(1) converting that codebase to run in Mercury or (2) having some
component written in Mercury communicate with Prolog?

Julien.