[m-users.] Support for vanilla prolog

Julien Fischer jfischer at opturion.com
Fri May 29 12:20:08 AEST 2020


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.


More information about the users mailing list