Tabling Mechanisms for Logic Programs

@inproceedings{Vasanth1995TablingMF,
  title={Tabling Mechanisms for Logic Programs},
  author={I. Vasanth and RamakrishnanPrasad and RaoKonstantinos and SagonasTerrance and SwiftDavid and S................................................ and WarrenDepartment},
  year={1995}
}
  • Vasanth I., RamakrishnanPrasad, +4 authors WarrenDepartment
  • Published 1995
The use of tabling in logic programming allows bottom-up evaluation to be incorporated in a top-down framework, combining advantages that accrue from both. At the engine level, tabling also introduces complications not present in pure top-down evaluation, due to the need for subgoals and answers to access tables during clause resolution. This paper describes the design, implementation, and experimental evaluation of data structures and algorithms for high-performance table access. Our approach… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-4 of 4 extracted citations

Similar Papers

Loading similar papers…