School of Computing

RedAlert: Determinacy Inference for Prolog

Jael Kriener and Andy King

Theory and Practice of Logic Programming, 11(4-5):182-196, July 2011.


This paper revisits the problem of determinacy inference addressing the problem of how to uniformly handle (unknown variable cut)$. To this end a new semantics is introduced for (unknown variable 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 (unknown variable cut)$. Formal arguments substantiate correctness and experimental work, and a tool called 'RedAlert' demonstrates the method's generality and applicability.

Download publication 360 kbytes (PDF)

Bibtex Record

author = {Jael Kriener and Andy King},
title = {Red{A}lert: {D}eterminacy {I}nference for {P}rolog},
month = {July},
year = {2011},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    volume = {11},
    number = {4-5},
    publication_type = {article},
    submission_id = {18724_1304501874},
    journal = {Theory and Practice of Logic Programming},
    publisher = {Cambridge University Press},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014