Benedikt Linse, Norbert Eisinger, Clemens Ley, Tim Furche, François Bry:
Tim Furche (editor):
Chaining with Memory in Xcerpt.

Complete Text [
.pdf, 954KB]
In: (I4-D18)

Moving from single-rule Xcerpt programs as described in previous deliverables to full Xcerpt programs requires to address the issue of efficient rule chaining. In this deliverable, we first survey existing approaches for efficient rule chaining (using some form of memoization) in logic programming and then briefly outline first results and challenges when extending these results to Xcerpt.



	url = {}