RedAlert: Determinacy Inference for Prolog

Details RedAlert: Determinacy Inference for Prolog RedAlert: Determinacy Inference for Prolog

2011-09-12

arxiv.org/abs/1109.2548v1

Computer Science

Programming Languages

Theory and Practice of Logic Programming, 2011, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, volume 11

Scientific paper

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, and a tool called 'RedAlert' demonstrates the method's generality and applicability.

Affiliated with

Also associated with

No associations

Rating

RedAlert: Determinacy Inference for Prolog does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with RedAlert: Determinacy Inference for Prolog, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and RedAlert: Determinacy Inference for Prolog will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-60600