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

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

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

Seasonal dynamics of common ground beetles (Coleoptera: Carabidae) along an urbanisation gradient near Sorø, Zealand, Denmark

The seasonal activity of six carabid species (Nebria brevicollis, Carabus nemoralis, C. hortensis, C. coriaceus, Pterostichus melanarius and Abax parallelepipedus) was studied along an urbanisation gradient (rural forest – suburban forest – forest fragments in urban park) in Sorø, Denmark, during April–October 2004 and 2005.Two groups were identified: 1) Species with constant seasonality, in which seasonal activity profiles did not differ along the gradient (C. hortensis, C. coriaceus, and A. parallelepipedus); 2) Species with flexible seasonality,with remarkable differences along the gradient and between the years (C. nemoralis, N. brevicollis and P. melanarius). In four out of six studied species, 2005 was less favourable than 2004. Spring activity in the urban habitat started earlier than in the suburban or forested ones. A better understanding of urban green infrastructures in biodiversity assessments may need the study of seasonality in order to distinguish whether the bioindicator’s responses are to habitat quality or stochastic seasonal events

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

The impact of stand age and fertilization on the soil microbiome of Miscanthus × giganteus

Yield of the perennial grass Miscanthus × giganteus has shown an inconsistent and unpredictable response to nitrogen (N) fertilizer, yet fertilization underpins the crop’s environmental and economic sustainability. The interactions among soil microbial communities, N availability, and Miscanthus × giganteus and management may explain changes in plant productivity. In this study, soil samples from different stand ages of Miscanthus × giganteus in a replicated chronosequence field trial were used to investigate the effects of stand age and N fertilizer rates on microbial community structure. We hypothesized that there is a definable Miscanthus × giganteus soil microbiome and that this community varies significantly with stand age and fertilization. Our results showed that the main phyla in soil microbial communities, regardless of plant age, are similar but microbial community structures are significantly different. The variation in observed microbial communities generally decreases with older stand ages. The amount of N fertilizer applied also affected the microbial community structure associated with different aged Miscanthus × giganteus. Specifically, the relative abundance of Proteobacteria (Alphaproteobacteria and Gammaproteobacteria) and Acidobacteria (subgroup Gp1) increased shortly after fertilization and was more associated with younger Miscanthus × giganteus. Furthermore, our results show a significant relationship between bacterial α diversity and fertilization rates and that this response is also affected by stand age. Overall, our results emphasize linkages between microbial community structure, plant age, and fertilization in Miscanthus × giganteus