RedAlert: Determinacy inference for Prolog

@article{Kriener2011RedAlertDI,
  title={RedAlert: Determinacy inference for Prolog},
  author={Jael Kriener and Andy King},
  journal={TPLP},
  year={2011},
  volume={11},
  pages={537-553}
}
This paper revisits the problem of determinacy inference addressing the problem of how to uniformly handle cut . To this end a new semantics is introduced for cut , which is abstracted to systematically derive a backward analysis that derives conditions sufficient for a goal to succeed at most once. The method is conceptionally simpler and easier to implement than existing techniques, whilst improving the latter’s handling of cut . Formal arguments substantiate correctness and experimental work… CONTINUE READING