Efficient Groundness Analysis in Prolog

Boolean functions can be used to express the groundness of, and trace grounding dependencies between, program variables in (constraint) logic programs. In this paper, a variety of issues pertaining to the efficient Prolog implementation of groundness analysis are investigated, focusing on the domain of definite Boolean functions, Def. The systematic design of the representation of an abstract domain is discussed in relation to its impact on the algorithmic complexity of the domain operations; the most frequently called operations should be the most lightweight. This methodology is applied to Def, resulting in a new representation, together with new algorithms for its domain operations utilising previously unexploited properties of Def -- for instance, quadratic-time entailment checking. The iteration strategy driving the analysis is also discussed and a simple, but very effective, optimisation of induced magic is described. The analysis can be implemented straightforwardly in Prolog and the use of a non-ground representation results in an efficient, scalable tool which does not require widening to be invoked, even on the largest benchmarks. An extensive experimental evaluation is givenComment: 31 pages To appear in Theory and Practice of Logic Programmin

A Semantic Basis for Specialising Domain Constraints

This paper formalises an analysis of finite domain programs and the resultant program transformation. The analysis adds low valency (domain) constraints to clauses in order to reduce search. The technique is outlined with a worked example and then formalised using abstract interpretation. Correctness of the analysis and of the transformation is proved

Three Optimisations for Sharing

In order to improve precision and efficiency sharing analysis should track both freeness and linearity. The abstract unification algorithms for these combined domains are suboptimal, hence there is scope for improving precision. This paper proposes three optimisations for tracing sharing in combination with freeness and linearity. A novel connection between equations and sharing abstractions is used to establish correctness of these optimisations even in the presence of rational trees. A method for pruning intermediate sharing abstractions to improve efficiency is also proposed. The optimisations are lightweight and therefore some, if not all, of these optimisations will be of interest to the implementor.Comment: To appear in Theiry and Practice of Logic Programmin

A Pearl on SAT Solving in Prolog (Logic Programming Newsletter)

Extended abstract for Association of Logic Programming (ALP) Newsletter on FLOPS/TCS special issue paper on SAT and SMT solving in Prolog

Changes in ponderal index and body mass index across childhood and their associations with fat mass and cardiovascular risk factors at age 15

Background: Little is known about whether associations between childhood adiposity and later adverse cardiovascular health outcomes are driven by tracking of overweight from childhood to adulthood and/or by vascular and metabolic changes from childhood overweight that persist into adulthood. Our objective is to characterise associations between trajectories of adiposity across childhood and a wide range of cardiovascular risk factors measured in adolescence, and explore the extent to which these are mediated by fat mass at age 15. Methods and Findings: Using data from the Avon Longitudinal Study of Parents and Children, we estimated individual trajectories of ponderal index (PI) from 0-2 years and BMI from 2-10 years using random-effects linear spline models (N = 4601). We explored associations between PI/BMI trajectories and DXA-determined total-body fat-mass and cardiovascular risk factors at 15 years (systolic and diastolic blood pressure, fasting LDL-and HDL-cholesterol, triglycerides, C-reactive protein, glucose, insulin) with and without adjustment for confounders. Changes in PI/BMI during all periods of infancy and childhood were associated with greater DXA-determined fat-mass at age 15. BMI changes in childhood, but not PI changes from 0-2 years, were associated with most cardiovascular risk factors in adolescence; associations tended to be strongest for BMI changes in later childhood (ages 8.5-10), and were largely mediated by fat mass at age 15. Conclusion: Changes in PI/BMI from 0-10 years were associated with greater fat-mass at age 15. Greater increases in BMI from age 8.5-10 years are most strongly associated with cardiovascular risk factors at age 15, with much of these associations mediated by fat-mass at this age. We found little evidence supporting previous reports that rapid PI changes in infancy are associated with future cardiovascular risk. This study suggests that associations between early overweight and subsequent adverse cardiovascular health are largely due to overweight children tending to remain overweight

Collaborating with Library Course Pages and Facebook: Exploring New Opportunities

Technologies like library course pages and Facebook offer new opportunities for librarians and faculty to collaborate, integrate library content and services into student work spaces, and support and expand student learning. During spring semester 2011, a library course page was developed for a graduate-level education class and sent to the instructor for review. That led to comment and expansion of content on the course page. After this interaction, the librarian joined the course Facebook group to explore this venue as an embedded librarian. This article includes the librarian’s and instructor’s perspectives about this work. Collaborative use of social networking tools offers promise for a deeper and a wider range of learning opportunities by potentially enlarging the range of participants in the learning process and by moving class conversations beyond the limits of traditional course management systems