Jens E. Wunderwald

  • Citations Per Year
Learn More
This paper presents a novel implementation of memoing evaluation SSW94] by source-to-source transformation. The transformation proceeds in two steps: The rst step consists of magic sets rewriting BR91], a standard transformation in deductive databases, application to Prolog has not been considered yet. The second transformation rewrites bottom-up rules to(More)
  • 1