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.

Matrix metalloproteinase-9 genotypes and haplotypes are associated with multiple sclerosis and with the degree of disability of the disease

Multiple sclerosis (MS) is an autoimmune disease causing severe neurological disability. This study was carried out in order to determine whether the MMP-9 C(-1562)T and (CA)(13-25) polymorphisms are associated with MS. A total of 165 patients (92 whites/73 mulattos) and 191 controls (96 whites/95 mulattos) were enrolled in the study. While no difference in C(-1562)T polymorphism was observed between MS and healthy subjects, (CA)(n) genotypes and alleles were associated with MS. Moreover, the haplotypes are not associated with MS but seem to be relevant to the clinical status of MS. Thus the (CA)(n) polymorphism may contribute to MS susceptibility, but C(-1562)T and (CA)(n) haplotypes may modulate disease severity. (c) 2009 Elsevier B.V. All rights reserved.