Problem of Information Passing in Magic Sets Method

Abstract

The magic sets method is used for eecient bottom up evaluation of logic programs. Since its origin, it suuers from the fact that innuence of information passing among predicates has not been suuciently studied. We have recognized the way of information passing as crucial for the eeciency of the method. In this article the ways of information passing are analyzed and a method of choosing an actual passing is described.

Cite this paper

@inproceedings{Zma1999ProblemOI, title={Problem of Information Passing in Magic Sets Method}, author={Martin Z{\'i}ma}, year={1999} }