Fibonacci example in Memoization capter does not work 'backwards' about the-power-of-prolog HOT 3 CLOSED

Thank you very much for your feedback!

In recent versions of SWI-Prolog, library(tabling) is deprecated. For example, with 7.7.14, I get:

?- use_module(library(tabling)).
Warning: :- table/1 is built-in.  library(tabling) is deprecated.
true.

Please make sure to use recent versions of Prolog systems if you try examples from the book, since I am using many very recent features and generally also use very recent system versions.

The other issue you mentioned is a limitation of SWI-Prolog, please consider filing an issue in that project.

Thank you and all the best!
Markus

from the-power-of-prolog.

Thanks! Which Prolog implementation would you recommend?

from the-power-of-prolog.

In so far as the book is concerned, I feel it would be inappropriate for me to recommend one system over another: I try to cover topics that are either already commonly supported, or which I think would be interesting and useful (future) additions to all systems, or those on which I would like to encourage convergence and compatibility by increasing their usage in all available Prolog implementations.

It is my hope that the features that your example requires (constraints and tabling) will one day be supported in many systems, so that we all benefit from a set of great Prolog implementations.

I encourage you to file such requirements as issues in the systems you want to use, since that increases the likelihood of them being implemented and improved!

from the-power-of-prolog.