Article contents
RedAlert: Determinacy inference for Prolog
Published online by Cambridge University Press: 06 July 2011
Abstract
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 the existing techniques, while improving the latter's handling of cut. Formal arguments substantiate correctness and experimental work, and a tool called ‘RedAlert’ demonstrates the method's generality and applicability.
Keywords
- Type
- Regular Papers
- Information
- Theory and Practice of Logic Programming , Volume 11 , Special Issue 4-5: 27th International Conference on Logic Programming , July 2011 , pp. 537 - 553
- Copyright
- Copyright © Cambridge University Press 2011
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20160921055543908-0540:S1471068411000160:S1471068411000160_char1.gif?pub-status=live)
- 7
- Cited by