On completeness of logic programs

Program correctness (in imperative and functional programming) splits in logic programming into correctness and completeness. Completeness means that a program produces all the answers required by its specification. Little work has been devoted to reasoning about completeness. This paper presents a few sufficient conditions for completeness of definite programs. We also study preserving completeness under some cases of pruning of SLD-trees (e.g. due to using the cut). We treat logic programming as a declarative paradigm, abstracting from any operational semantics as far as possible. We argue that the proposed methods are simple enough to be applied, possibly at an informal level, in practical Prolog programming. We point out importance of approximate specifications.Comment: 20 page

Safety and efficacy of fluticasone propionate in the topical treatment of skin diseases

Fluticasone propionate - the first carbothioate corticosteroid - has been classified as a potent anti-inflammatory drug for dermatological use. It is available as 0.05% cream and 0.005% ointment formulations for the acute and maintenance treatment of patients with dermatological disorders such as atopic dermatitis, psoriasis and vitiligo. This glucocorticoid is characterized by high lipophilicity, high glucocorticoid receptor binding and activation, and a rapid metabolic turnover in skin. Although skin blanching following fluticasone propionate exceeds that of corticosteroids of medium strength, several clinical trials demonstrate a low potential for cutaneous and systemic side-effects, even in difficult-to-treat areas like the face, the eyelids and intertriginous areas. Even among paediatric patients with atopic dermatitis, fluticasone propionate proved to be safe and effective. These pharmacological and clinical properties are reflected by the high therapeutic index of this glucocorticoid

Significant receptor affinities of metabolites and a degradation product of mometasone furoate

Mometasone furoate (MF) is a highly potent glucocorticoid used topically to treat inflammation in the lung, nose and on the skin. However, so far no information has been published on the human glucocorticoid receptor activity of the metabolites or degradation products of MF. We have now determined the relative receptor binding affinities of the known metabolite 6β-OH MF and the degradation product 9,11-epoxy MF to understand their possible contribution to undesirable systemic side effects. In competition experiments with human lung glucocorticoid receptors we have determined the relative receptor affinities (RRA) of these substances with reference to dexamethasone (RRA = 100). We have discovered that 6β-OH MF and 9,11-epoxy MF display RRAs of 206 ± 15 and 220 ± 22, respectively. This level of activity is similar to that of the clinically used inhaled corticosteroid flunisolide (RRA 180 ± 11). Furthermore we observed that 9,11-epoxy MF is a chemically reactive metabolite. In recovery experiments with human plasma and lung tissue we found a time dependent decrease in extractability of the compound. Hence, we provide data that might contribute to the understanding of the pharmacokinetics as well as the clinical effects of MF

Logic Program Synthesis via Proof Planning

We propose a novel approach to automating the synthesis of logic programs: Logic programs are synthesized as a by-product of the planning of a verification proof. The approach is a two-level one: At the object level, we prove program verification conjectures in a sorted, first-order theory. The conjectures are of the form $\forall \vec{args}. \; prog(\vec{args}) \leftrightarrow spec(\vec{args})$. At the meta-level, we plan the object-level verification with an unspecified program definition. The definition is represented with a (second-order) meta-level variable, which becomes instantiated in the course of the planning. This technique is an application of the Clam proof planning system. Clam is currently powerful enough to plan verification proofs for given programs. We show that, if Clam's use of middle-out reasoning is extended, it will also be able to synthesize programs

Differential Expression of CD163 on Monocyte Subsets in Healthy and HIV-1 Infected Individuals

CD163, a haptoglobin-hemoglobin (Hp-Hb) scavenger receptor, expressed by monocytes and macrophages, is important in resolution of inflammation. Age-related non-AIDS co-morbidities in HIV-infected individuals, particularly dementia and cardiovascular disease, result in part from effects of HIV-1 infection on monocyte and macrophage biology. CD163 co-expression on CD14+CD16++ monocytes has been proposed as a useful biomarker for HIV-1 disease progression and the presence of HIV associated dementia. Here we investigated CD163 expression on monocyte subsets ex vivo, on cultured macrophages, and soluble in plasma, in the setting of HIV-1 infection. Whole blood immunophenotyping revealed CD163 expression on CD14++CD16- monocytes but not on CD14+CD16++ monocytes (P = 0.004), supported by CD163 mRNA levels. Incubation with M-CSF induced CD163 protein expression on CD14+CD16++ monocytes to the same extent as CD14++CD16− monocytes. CD163 expression on CD14++CD16+ monocytes from HIV-infected subjects was significantly higher than from uninfected individuals, with a trend towards increased expression on CD14++CD16− monocytes (P = 0.019 and 0.069 respectively), which is accounted for by HIV-1 therapy including protease inhibitors. Shedding of CD163 was shown to predominantly occur from the CD14++CD16− subset after Ficoll isolation and LPS stimulation. Soluble CD163 concentration in plasma from HIV-1 infected donors was similar to HIV-1 uninfected donors. Monocyte CD163 expression in HIV-1 infected patients showed a complicated relationship with classical measures of disease progression. Our findings clarify technical issues regarding CD163 expression on monocyte subsets and further elucidates its role in HIV-associated inflammation by demonstrating that CD163 is readily lost from CD14++CD16− monocytes and induced in pro-inflammatory CD14+CD16++ monocytes by M-CSF. Our data show that all monocyte subsets are potentially capable of differentiating into CD163-expressing anti-inflammatory macrophages given appropriate stimuli. Levels of CD163 expression on monocytes may be a potential biomarker reflecting efforts by the immune system to resolve immune activation and inflammation in HIV-infected individuals

Differential Expression of CD163 on Monocyte Subsets in Healthy and HIV-1 Infected Individuals

CD163, a haptoglobin-hemoglobin (Hp-Hb) scavenger receptor, expressed by monocytes and macrophages, is important in resolution of inflammation. Age-related non-AIDS co-morbidities in HIV-infected individuals, particularly dementia and cardiovascular disease, result in part from effects of HIV-1 infection on monocyte and macrophage biology. CD163 co-expression on CD14+CD16++ monocytes has been proposed as a useful biomarker for HIV-1 disease progression and the presence of HIV associated dementia. Here we investigated CD163 expression on monocyte subsets ex vivo, on cultured macrophages, and soluble in plasma, in the setting of HIV-1 infection. Whole blood immunophenotyping revealed CD163 expression on CD14++CD16- monocytes but not on CD14+CD16++ monocytes (P = 0.004), supported by CD163 mRNA levels. Incubation with M-CSF induced CD163 protein expression on CD14+CD16++ monocytes to the same extent as CD14++CD16− monocytes. CD163 expression on CD14++CD16+ monocytes from HIV-infected subjects was significantly higher than from uninfected individuals, with a trend towards increased expression on CD14++CD16− monocytes (P = 0.019 and 0.069 respectively), which is accounted for by HIV-1 therapy including protease inhibitors. Shedding of CD163 was shown to predominantly occur from the CD14++CD16− subset after Ficoll isolation and LPS stimulation. Soluble CD163 concentration in plasma from HIV-1 infected donors was similar to HIV-1 uninfected donors. Monocyte CD163 expression in HIV-1 infected patients showed a complicated relationship with classical measures of disease progression. Our findings clarify technical issues regarding CD163 expression on monocyte subsets and further elucidates its role in HIV-associated inflammation by demonstrating that CD163 is readily lost from CD14++CD16− monocytes and induced in pro-inflammatory CD14+CD16++ monocytes by M-CSF. Our data show that all monocyte subsets are potentially capable of differentiating into CD163-expressing anti-inflammatory macrophages given appropriate stimuli. Levels of CD163 expression on monocytes may be a potential biomarker reflecting efforts by the immune system to resolve immune activation and inflammation in HIV-infected individuals

Soluble Immune Complexes Shift the TLR-Induced Cytokine Production of Distinct Polarized Human Macrophage Subsets towards IL-10

Contains fulltext : 109563.pdf (publisher's version ) (Open Access)BACKGROUND: Costimulation of murine macrophages with immune complexes (ICs) and TLR ligands leads to alternative activation. Studies on human myeloid cells, however, indicate that ICs induce an increased pro-inflammatory cytokine production. This study aimed to clarify the effect of ICs on the pro- versus anti-inflammatory profile of human polarized macrophages. MATERIALS AND METHODS: Monocytes isolated from peripheral blood of healthy donors were polarized for four days with IFN-gamma, IL-4, IL-10, GM-CSF, M-CSF, or LPS, in the presence or absence of heat aggregated gamma-globulins (HAGGs). Phenotypic polarization markers were measured by flow cytometry. Polarized macrophages were stimulated with HAGGs or immobilized IgG alone or in combination with TLR ligands. TNF, IL-6, IL-10, IL-12, and IL-23 were measured by Luminex and/or RT-qPCR. RESULTS: HAGGs did not modulate the phenotypic polarization and the cytokine production of macrophages. However, HAGGs significantly altered the TLR-induced cytokine production of all polarized macrophage subsets, with the exception of MPhi(IL-4). In particular, HAGGs consistently enhanced the TLR-induced IL-10 production in both classically and alternatively polarized macrophages (M1 and M2). The effect of HAGGs on TNF and IL-6 production was less pronounced and depended on the polarization status, while IL-23p19 and IL-12p35 expression was not affected. In contrast with HAGGs, immobilized IgG induced a strong upregulation of not only IL-10, but also TNF and IL-6. CONCLUSION: HAGGs alone do not alter the phenotype and cytokine production of in vitro polarized human macrophages. In combination with TLR-ligands, however, HAGGs but not immobilized IgG shift the cytokine production of distinct macrophage subsets toward IL-10

Global gene expression profile progression in Gaucher disease mouse models

<p>Abstract</p> <p>Background</p> <p>Gaucher disease is caused by defective glucocerebrosidase activity and the consequent accumulation of glucosylceramide. The pathogenic pathways resulting from lipid laden macrophages (Gaucher cells) in visceral organs and their abnormal functions are obscure.</p> <p>Results</p> <p>To elucidate this pathogenic pathway, developmental global gene expression analyses were conducted in distinct <it>Gba1 </it>point-mutated mice (V394L/V394L and D409 V/null). About 0.9 to 3% of genes had altered expression patterns (≥ ± 1.8 fold change), representing several categories, but particularly macrophage activation and immune response genes. Time course analyses (12 to 28 wk) of INFγ-regulated pro-inflammatory (13) and IL-4-regulated anti-inflammatory (11) cytokine/mediator networks showed tissue differential profiles in the lung and liver of the <it>Gba1 </it>mutant mice, implying that the lipid-storage macrophages were not functionally inert. The time course alterations of the INFγ and IL-4 pathways were similar, but varied in degree in these tissues and with the <it>Gba1 </it>mutation.</p> <p>Conclusions</p> <p>Biochemical and pathological analyses demonstrated direct relationships between the degree of tissue glucosylceramides and the gene expression profile alterations. These analyses implicate IFNγ-regulated pro-inflammatory and IL-4-regulated anti-inflammatory networks in differential disease progression with implications for understanding the Gaucher disease course and pathophysiology.</p