7.12.1 Status of tabling

The current implementation is merely a first prototype. It needs several enhancements before we can consider it a serious competitor to Prolog systems with mature tabling such as XSB, YAP and B-Prolog. In particular,

• The performance needs to be improved.
• Memory usage needs to be reduced.
• Tables must be shared between threads, both to reduce space and avoid recomputation.
• Tables must be invalidated and reclaimed automatically.
• Notably XSB supports incremental tabling and well-founded semantics under negation.