A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives

@inproceedings{Guo2001ASS,
  title={A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives},
  author={Hai-Feng Guo and Gopal Gupta},
  booktitle={ICLP},
  year={2001}
}
Tabled logic programming (LP) systems have been applied to elegantly and quickly solving very complex problems (e.g., model checking). However, techniques currently employed for incorporating tabling in an existing LP system are quite complex and require considerable change to the LP system. We present a simple technique for incorporating tabling in existing LP systems based on dynamically reordering clauses containing variant calls at run-time. Our simple technique allows tabled evaluation to… CONTINUE READING
Highly Cited
This paper has 80 citations. REVIEW CITATIONS
50 Citations
22 References
Similar Papers

Citations

Publications citing this paper.

81 Citations

051015'01'04'08'12'16
Citations per Year
Semantic Scholar estimates that this publication has 81 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 22 references

Implementation of a Linear Tabling Mechanism

  • Neng-Fa Zhou
  • PADL
  • 2000
Highly Influential
6 Excerpts

A Simple Scheme for Implementing Tabled LP Systems

  • H-F Guo, G. Gupta
  • UT Dallas Tech. Rep 02-01.
  • 2001
2 Excerpts

Incremental Stack Splitting and Scheduling in the Or-parallel PALS System

  • K. Villaverde, H-F. Guo, E. Pontelli, G. Gupta
  • Int’l Conf. on Par. Proc.
  • 2001
1 Excerpt

: A Parallel Prolog system that transparently exploits both Andand OrParallelism

  • V. Santos Costa, Andorra-I
  • PADL
  • 2000

Similar Papers

Loading similar papers…