roadmap
roadmap copied to clipboard
SWI-Prolog
Minimal C support for Feliks Kluzniak's memoization system
Currently the memoization system written by Feliks Kluzniak works fine in interpreter.. I even added tnot/1. As well as the ability to undo the tables that a cut was going to damage. I am putting this in the todo in case someone gets to it before me
+1 for this feature. @logicmoo Could you add some pointers to this system?
OK I published as a pack
https://github.com/TeamSPoon/tabling_dra
pack_install('https://github.com/TeamSPoon/tabling_dra.git').
Version 7.3.21 provides tries that might provide some of the required infrastructure. It also provides tabling, mostly as a library although it uses the above mentioned tries and a C-based data structure for representing the work lists more efficiently. The current implementation is still slow and rather high level. Some parts will probably be optimized and/or moved down in due time. How do the two now relate in terms of e.g., performance, functionality and memory usage?
