CAT: The Copying Approach to Tabling

摘要: The SLG-WAM implements tabling by freezing the WAM stacks: this technique has a reasonably small execution overhead, but is not easy to implement on top of an existing Prolog system. We propose new for implementation tabling: Copying Approach Tabling. CAT does interfere with normal and can be introduced in system orthogonally. have implemented starting from XSB taking out adding CAT. describe additions needed adopting implementation. show case which performs arbitrarily worse than SLG-WAM, other hand we present empirical evidence that competitive often faster SLG-WAM. discuss issues related memory management impact scheduling.