[m-users.] Support for vanilla prolog

Tomas By tomas at basun.net
Fri May 29 22:13:40 AEST 2020


On Fri, 29 May 2020 13:49:24 +0200, Manuel Hermenegildo wrote:
>  > 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.
> 
> Again, I am not really sure what you are referring to...  modern
> Prolog systems have source debuggers, test systems, static checkers,
> compile to small executables in native code, ... etc. As does Mercury.


True, I am basing it on decades-old experience and extrapolation from
other languages, I have not used any "new" Prolog systems, but my
feeling is that you are just pushing the boundaries a little bit.

For the situation Stuart describes, Ciao sounds like a good solution.

/Tomas


More information about the users mailing list