search

SWI-Prolog / roadmap

Discuss future development
20 stars 3 forks source link

Minimal C support for Feliks Kluzniak's memoization system #41

Open TeamSPoon opened 8 years ago

TeamSPoon commented 8 years ago

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

wouterbeek commented 8 years ago

+1 for this feature. @logicmoo Could you add some pointers to this system?

triska commented 8 years ago

Awesome item! +1!

TeamSPoon commented 8 years ago

https://github.com/TeamSPoon/FeliksKluzniak-DRA

TeamSPoon commented 8 years ago

OK I published as a pack

https://github.com/TeamSPoon/tabling_dra

pack_install('https://github.com/TeamSPoon/tabling_dra.git').

JanWielemaker commented 8 years ago

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?