Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

Intracultural Diversity in Food Knowledge in Southern Brazil

This research explores the social distribution of food knowledge in Ribeirao Preto, a city in the state of Sao Paulo, Brazil. Through an analysis of the distribution of individual expertise in regard to the cultural model of food along the dimensions of healthfulness, practicality, and prestige, this research demonstrates that knowledge of the cultural model of food is most strongly shared in the upper class of the city. Qualitative and quantitative ethnographic research suggests that the social patterning of health-related food knowledge in Ribeirao Preto may serve to maintain class distinction.