Mutally Exclusive Rules in Logic Programming

@inproceedings{Post1994MutallyER,
  title={Mutally Exclusive Rules in Logic Programming},
  author={Kjell Post},
  booktitle={ILPS},
  year={1994}
}
A technique to detect that pairs of rules are “mutually exclusive” in a logic program is described. In contrast to previous work our algorithm derives mutual exclusion by looking not only on built-in, but also user-defined predicates. This technique has applications to optimization of the execution of programs containing these rules. Additionally, the programmer is less dependent on non-logical language features, such as Prolog’s “cut”, thus creating more opportunities for parallel execution… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
6 Citations
27 References
Similar Papers

Similar Papers

Loading similar papers…