Implementation of Tabled Evaluation with Delaying in Prolog

@article{Ramesh1997ImplementationOT,
  title={Implementation of Tabled Evaluation with Delaying in Prolog},
  author={R. Ramesh and Weidong Chen},
  journal={IEEE Trans. Knowl. Data Eng.},
  year={1997},
  volume={9},
  pages={559-574}
}
Unlike SLD resolution as implemented in Prolog, tabled evaluation with delaying guarantees termination for function free logic programs, avoids repeated computation of identical subqueries, and handles recursion through negation. It is often used in query processing and nonmonotonic reasoning where termination is required. The paper presents a new technique for incorporating tabled evaluation into existing Prolog systems. It requires neither time consuming modifications of a Prolog engine nor… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 10 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 21 REFERENCES