[m-users.] Support for vanilla prolog
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.
More information about the users