Just enough tabling

@inproceedings{Sagonas2004JustET,
  title={Just enough tabling},
  author={Konstantinos Sagonas and Peter J. Stuckey},
  booktitle={PPDP},
  year={2004}
}
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled logic programs to be performed without resorting to any recomputation. We discuss issues that are involved in supporting pruning in tabled resolution, how re-execution of tabled computations which were previously pruned can be avoided, and we describe the implementation of such a scheme based on an abstract machine… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
7 Citations
4 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-4 of 4 references

Cuts in tabled logic programming

  • H.-F. Guo, G. Gupta
  • Proceedings of CICLOPS’2002, the Colloquium on…
  • 2002
Highly Influential
16 Excerpts

Similar Papers

Loading similar papers…