Compilation of Set Terms in the Logic Data Language (LDL)

  title={Compilation of Set Terms in the Logic Data Language (LDL)},
  author={Oded Shmueli and Shalom Tsur and Carlo Zaniolo},
  journal={J. Log. Program.},
D We propose compilation methods for the efficient support of set-term matching in Horn-clause programs. Rather than using general-purpose set-matching algorithms, we take the approach of formulating at compile time specialized computation plans that, by taking advantage of information available in the given rules, limit the number of alternatives explored. Our strategy relies on rewriting techniques to transform the problem into an “ordinary” Horn-clause compilation problem, with minimal… CONTINUE READING

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…