Comparison of OG1RF and an isogenic fsrB deletion mutant by transcriptional analysis: the Fsr system of Enterococcus faecalis is more than the activator of gelatinase and serine protease.

The FsrABC system of Enterococcus faecalis controls the expression of gelatinase and a serine protease via a quorum-sensing mechanism, and recent studies suggest that the Fsr system may also regulate other genes important for virulence. To investigate the possibility that Fsr influences the expression of additional genes, we used transcriptional profiling, with microarrays based on the E. faecalis strain V583 sequence, to compare the E. faecalis strain OG1RF with its isogenic mutant, TX5266, an fsrB deletion mutant. We found that the presence of an intact fsrB influences expression of numerous genes throughout the growth phases tested, namely, late log to early stationary phase. In addition, the Fsr regulon is independent of the activity of the proteases, GelE and SprE, whose expression was confirmed to be activated at all three time points tested. While expression of some genes (i.e., ef1097 and ef0750 to -757, encoding hypothetical proteins) was activated in late log phase in OG1RF versus the fsrB deletion mutant, expression of ef1617 to -1634 (eut-pdu orthologues) was highly repressed by the presence of an intact Fsr at entry into stationary phase. This is the first time that Fsr has been characterized as a negative regulator. The newly recognized Fsr-regulated targets include other factors, besides gelatinase, described as important for biofilms (BopD), and genes predicted to encode the surface proteins EF0750 to -0757 and EF1097, along with proteins implicated in several metabolic pathways, indicating that the FsrABC system may be an important regulator in strain OG1RF, with both positive and negative effects.

The ubiquitin-proteasome system is necessary for long-term synaptic depression in Aplysia.

The neuropeptide Phe-Met-Arg-Phe-NH(2) (FMRFa) can induce transcription-dependent long-term synaptic depression (LTD) in Aplysia sensorimotor synapses. We investigated the role of the ubiquitin-proteasome system and the regulation of one of its components, ubiquitin C-terminal hydrolase (ap-uch), in LTD. LTD was sensitive to presynaptic inhibition of the proteasome and was associated with upregulation of ap-uch mRNA and protein. This upregulation appeared to be mediated by CREB2, which is generally regarded as a transcription repressor. Binding of CREB2 to the promoter region of ap-uch was accompanied by histone hyperacetylation, suggesting that CREB2 cannot only inhibit but also promote gene expression. CREB2 was phosphorylated after FMRFa, and blocking phospho-CREB2 blocked LTD. In addition to changes in the expression of ap-uch, the synaptic vesicle-associated protein synapsin was downregulated in LTD in a proteasome-dependent manner. These results suggest that proteasome-mediated protein degradation is engaged in LTD and that CREB2 may act as a transcription activator under certain conditions.

Regulation of hematopoietic and leukemic stem cells by the immune system.

Hematopoietic stem cells (HSCs) are rare, multipotent cells that generate via progenitor and precursor cells of all blood lineages. Similar to normal hematopoiesis, leukemia is also hierarchically organized and a subpopulation of leukemic cells, the leukemic stem cells (LSCs), is responsible for disease initiation and maintenance and gives rise to more differentiated malignant cells. Although genetically abnormal, LSCs share many characteristics with normal HSCs, including quiescence, multipotency and self-renewal. Normal HSCs reside in a specialized microenvironment in the bone marrow (BM), the so-called HSC niche that crucially regulates HSC survival and function. Many cell types including osteoblastic, perivascular, endothelial and mesenchymal cells contribute to the HSC niche. In addition, the BM functions as primary and secondary lymphoid organ and hosts various mature immune cell types, including T and B cells, dendritic cells and macrophages that contribute to the HSC niche. Signals derived from the HSC niche are necessary to regulate demand-adapted responses of HSCs and progenitor cells after BM stress or during infection. LSCs occupy similar niches and depend on signals from the BM microenvironment. However, in addition to the cell types that constitute the HSC niche during homeostasis, in leukemia the BM is infiltrated by activated leukemia-specific immune cells. Leukemic cells express different antigens that are able to activate CD4(+) and CD8(+) T cells. It is well documented that activated T cells can contribute to the control of leukemic cells and it was hoped that these cells may be able to target and eliminate the therapy-resistant LSCs. However, the actual interaction of leukemia-specific T cells with LSCs remains ill-defined. Paradoxically, many immune mechanisms that evolved to activate emergency hematopoiesis during infection may actually contribute to the expansion and differentiation of LSCs, promoting leukemia progression. In this review, we summarize mechanisms by which the immune system regulates HSCs and LSCs.

A potential application of sludge-based catalysts for the anaerobic bio-decolorization of tartrazine dye.

Two highly efficient (K2CO3/sludge carbon and ZnCl2/sludge carbon) solids were prepared by chemical addition following carbonization at 800 °C and were tested for anaerobic reduction of tartrazine dye in a continuous upflow packed-bed biological reactor, and their performance was compared to that of commercial activated carbon (CAC). The chemical and structural information of the solids was subjected to various characterizations in order to understand the mechanism for anaerobic decolorization, and efficiency for SBCZN800 and SBCPC800 materials was 87% and 74%, respectively, at a short space time (τ) of 2.0 min. A first-order kinetic model fitted the experimental points and kinetic constants of 0.40, 0.92 and 1.46 min(-1) were obtained for SBCZN800, SBCPC800 and CAC, respectively. The experimental results revealed that performance of solids in the anaerobic reduction of tartrazine dye can depend on several factors including chemical agents, carbonization, microbial population, chemical groups and surface chemistry. The Langmuir and Freundlich models are successfully described in the batch adsorption data. Based on these observations, a cost-effective sludge-based catalyst can be produced from harmful sewage sludge for the treatment of industrial effluents.

Immune cell trafficking across the barriers of the central nervous system in multiple sclerosis and stroke

Each year about 650,000 Europeans die from stroke and a similar number lives with the sequelae of multiple sclerosis (MS). Stroke and MS differ in their etiology. Although cause and likewise clinical presentation set the two diseases apart, they share common downstream mechanisms that lead to damage and recovery. Demyelination and axonal injury are characteristics of MS but are also observed in stroke. Conversely, hallmarks of stroke, such as vascular impairment and neurodegeneration, are found in MS. However, the most conspicuous common feature is the marked neuroinflammatory response, marked by glia cell activation and immune cell influx. In MS and stroke the blood-brain barrier is disrupted allowing bone marrow-derived macrophages to invade the brain in support of the resident microglia. In addition, there is a massive invasion of auto-reactive T-cells into the brain of patients with MS. Though less pronounced a similar phenomenon is also found in ischemic lesions. Not surprisingly, the two diseases also resemble each other at the level of gene expression and the biosynthesis of other proinflammatory mediators. While MS has traditionally been considered to be an autoimmune neuroinflammatory disorder, the role of inflammation for cerebral ischemia has only been recognized later. In the case of MS the long track record as neuroinflammatory disease has paid off with respect to treatment options. There are now about a dozen of approved drugs for the treatment of MS that specifically target neuroinflammation by modulating the immune system. Interestingly, experimental work demonstrated that drugs that are in routine use to mitigate neuroinflammation in MS may also work in stroke models. Examples include Fingolimod, glatiramer acetate, and antibodies blocking the leukocyte integrin VLA-4. Moreover, therapeutic strategies that were discovered in experimental autoimmune encephalomyelitis (EAE), the animal model of MS, turned out to be also effective in experimental stroke models. This suggests that previous achievements in MS research may be relevant for stroke. Interestingly, the converse is equally true. Concepts on the neurovascular unit that were developed in a stroke context turned out to be applicable to neuroinflammatory research in MS. Examples include work on the important role of the vascular basement membrane and the BBB for the invasion of immune cells into the brain. Furthermore, tissue plasminogen activator (tPA), the only established drug treatment in acute stroke, modulates the pathogenesis of MS. Endogenous tPA is released from endothelium and astroglia and acts on the BBB, microglia and other neuroinflammatory cells. Thus, the vascular perspective of stroke research provides important input into the mechanisms on how endothelial cells and the BBB regulate inflammation in MS, particularly the invasion of immune cells into the CNS. In the current review we will first discuss pathogenesis of both diseases and current treatment regimens and will provide a detailed overview on pathways of immune cell migration across the barriers of the CNS and the role of activated astrocytes in this process. This article is part of a Special Issue entitled: Neuro inflammation: A common denominator for stroke, multiple sclerosis and Alzheimer's disease, guest edited by Helga de Vries and Markus Swaninger.

Regulation of Protein Degradation in the Heart by AMP-Activated Protein Kinase

The degradation of proteins by the ubiquitin proteasome system is essential for cellular homeostasis in the heart. An important regulator of metabolic homeostasis is AMP-activated protein kinase (AMPK). During nutrient deprivation, AMPK is activated and intracellular proteolysis is enhanced through the ubiquitin proteasome system (UPS). Whether AMPK plays a role in protein degradation through the UPS in the heart is not known. Here I present data in support of the hypothesis that AMPK transcriptionally regulates key players in the UPS, which, under extreme conditions can be detrimental to the heart. The ubiquitin ligases MAFbx /Atrogin-1 and MuRF1, key regulators of protein degradation, and AMPK activity are increased during nutrient deprivation. Pharmacologic and genetic activation of AMPK is sufficient for the induction of MAFbx/Atrogin-1 and MuRF1 in cardiomyocytes and in the heart in vivo. Comprehensive experiments demonstrate that the molecular mechanism by which AMPK regulates MuRF1 expression is through the transcription factor myocyte enhancer factor 2 (MEF2), which is involved in stress response and cardiomyocyte remodeling. MuRF1 is required for AMPK-mediated protein degradation through the UPS in cardiomyocytes. Consequently, the absence of MuRF1 during chronic fasting preserves cardiac function, possibly by limiting degradation of critical metabolic enzymes. Furthermore, during cardiac hypertrophy, chronic activation of AMPK also leads to cardiac dysfunction, possibly through enhanced protein degradation and metabolic dysregulation. Collectively, my findings demonstrate that AMPK regulates expression of ubiquitin ligases which are required for UPS-mediated protein degradation in the heart. Based on these results, I propose that specific metabolic signals may serve as modulators of intracellular protein degradation in the heart.

Regulation of Protein Degradation in the Heart by AMP-Activated Protein Kinase

The degradation of proteins by the ubiquitin proteasome system is essential for cellular homeostasis in the heart. An important regulator of metabolic homeostasis is AMP-activated protein kinase (AMPK). During nutrient deprivation, AMPK is activated and intracellular proteolysis is enhanced through the ubiquitin proteasome system (UPS). Whether AMPK plays a role in protein degradation through the UPS in the heart is not known. Here I present data in support of the hypothesis that AMPK transcriptionally regulates key players in the UPS, which, under extreme conditions can be detrimental to the heart. The ubiquitin ligases MAFbx /Atrogin-1 and MuRF1, key regulators of protein degradation, and AMPK activity are increased during nutrient deprivation. Pharmacologic and genetic activation of AMPK is sufficient for the induction of MAFbx/Atrogin-1 and MuRF1 in cardiomyocytes and in the heart in vivo. Comprehensive experiments demonstrate that the molecular mechanism by which AMPK regulates MuRF1 expression is through the transcription factor myocyte enhancer factor 2 (MEF2), which is involved in stress response and cardiomyocyte remodeling. MuRF1 is required for AMPK-mediated protein degradation through the UPS in cardiomyocytes. Consequently, the absence of MuRF1 during chronic fasting preserves cardiac function, possibly by limiting degradation of critical metabolic enzymes. Furthermore, during cardiac hypertrophy, chronic activation of AMPK also leads to cardiac dysfunction, possibly through enhanced protein degradation and metabolic dysregulation. Collectively, my findings demonstrate that AMPK regulates expression of ubiquitin ligases which are required for UPS-mediated protein degradation in the heart. Based on these results, I propose that specific metabolic signals may serve as modulators of intracellular protein degradation in the heart.

Dissection of antitumor activity by lymphokine -activated killer cells: Role of FcR+ precursors and obligatory role of tumor necrosis factor-$\alpha$ in antibody -dependent cellular cytotoxicity

Human peripheral blood lymphocytes (PBL) cultured for varying lengths of time in IL-2 are able to mediate antibody independent cellular cytotoxicity (AICC) as well as antibody dependent cellular cytotoxicity (ADCC) against a wide range of tumor targets. The objective of our study is to determine the cytotoxic potential of the subset of LAK cells involved in ADCC, the tumor recognition mechanism in ADCC, the kinetics of ADCC mediated by PBL cultured under various conditions and the role of TNF-$\alpha$ in the development and maturation of ADCC effectors in the LAK population.^ The model system in this study for ADCC used a monoclonal antibody 14G2a (IgG2a), that recognizes the GD2 epitope on human melanoma cell line, SK-Mel-1. The target recognition mechanism operative in AICC (traditionally known as lymphokine activated killing or LAK) is an acquired property of these IL-2 activated cells which confers on them the unique ability to distinguish between tumor and normal cells. This recognition probably involves the presence of a trypsin sensitive N-linked glycoprotein epitope on tumor cells. Proteolytic treatment of the tumor cells with trypsin renders them resistant to AICC by PBL cultured in IL-2. However, ADCC is unaffected. This ADCC, mediated by the relatively small population of cells that are positive for the Fc receptor for IgG (FcR), is an indication that this subset of "LAK" cells does not require the trypsin sensitive epitope on tumor cells to mediate killing. Enriching PBL for FcR+ cells markedly enhanced both AICC and ADCC and also reduced the IL-2 requirement of these cells.^ The stoichiometry of Fc receptor (FcR) expression on the cytotoxic effectors does not correlate with ADCC lytic activity. Although FcRs are necessary to mediate ADCC, other factors, appear to regulate the magnitude of cytolytic activity. In order to investigate these putative factors, the kinetics of ADCC development was studied under various conditions (in IL-2 (10u/ml) and 100u/ml), in IL-2(10u/ml) + TNF$\alpha$ (500u/ml) and in TNF-$\alpha$ (500u/ml) alone). Addition of exogenous TNF-$\alpha$ into the four hour cytotoxicity assay did not increase ADCC, nor did anti-TNF antibodies result in inhibition. On the other hand, addition of anti-TNF antibodies to PBL and IL-2 for 24 hours, resulted in a marked inhibition of the ADCC, suggesting that endogenous TNF-$\alpha$ is obligatory for the maturation and differentiation of ADCC effectors. ^

Modulation of high voltage -activated calcium channels by phosphorylation

High voltage-activated (HVA) calcium channels from rat brain and rabbit heart are expressed in Xenopus laevis oocytes and their modulation by protein kinases studied. A subtype of the HVA calcium current expressed by rat brain RNA is potentiated by the phospholipid- and calcium-dependent protein kinase (PKC). The calcium channel clone $\alpha\sb{\rm1C}$ from rabbit heart is modulated by the cAMP-dependent protein kinase (PKA), and another factor present in the cytoplasm.^ The HVA calcium channels from rat brain do not belong to the L-type subclass since they are insensensitive to dihydropyridine (DHP) agonists and antagonists. The expressed currents do contain a N-type fraction which is identified by inactivation at depolarized potentials, and a P-type fraction as defined by blockade by the venom of the funnel web spider Agelenopsis Aperta. A non N-type fraction of this current is potentiated, by using phorbol esters to activate PKC. This residual fraction of current resembles the newly described Q-type channel from cerebellar granule cells in its biophysical properties, and potentiation by activation of PKC.^ The $\alpha\sb{\rm1C}$ clone from rabbit heart is expressed in oocytes and single-channel currents are measured using the cell-attached and cell-excised patch clamp technique. The single-channel current runs down within two minutes after patch excision into normal saline bath solution. The catalytic subunit of PKA + MgATP is capable of reversing this rundown for over 15 minutes. There also appears to be an additional factor present in the cytoplasm necessary for channel activity as revealed in experiments where PKA failed to prevent rundown.^ These data are important in that these types of channels are involved in synaptic transmission at many different types of synapses. The mammalian synapse is not accessible for these types of studies, however, the oocyte expression system allows access to HVA calcium channels for the study of their modulation by phosphorylation. ^

Pathways leading to apoptosis resistance in a murine B -cell lymphoma cell system

The aberrant activation of signal transduction pathways has long been linked to uncontrolled cell proliferation and the development of cancer. The activity of one such signaling module, the Mitogen-Activated Protein Kinase (MAPK) pathway, has been implicated in several cancer types including pancreatic, breast, colon, and lymphoid malignancies. Interestingly, the activation of MAP-Kinase-Kinase-Kinase proteins often leads to the additional activation of NF-κB, a transcription factor that acts as a cell survival signal through its control of antiapoptotic genes. We have investigated the role of a specific dimer form of the NF-κB transcription factor family, NF-κB1 (p50) homodimers, in its control of the proto-oncogene, Bcl-2, and we have identified the MEK/ERK (MAPK) signaling cascade as a mediator of NF-κB1 activity. ^ Two murine B cell lymphoma cell lines were used for these studies: LY-as, an apoptosis proficient line with low Bcl-2 protein expression and no nuclear NF-κB activity, and LY-ar, a nonapoptotic line with constitutive p50 homodimer activity and 30 times more Bcl-2 protein expression than LY-as. Experiments modulating p50 activity correlated the activation of p50 homodimers with Bcl-2 expression and additional gel shift experiments demonstrated that the Bcl-2 P1 promoter had NF-κB sites with which recombinant p50 was able to interact. In vitro transcription revealed that p50 enhanced the production of transcripts derived from the Bcl-2 P1 promoter. These data strongly suggest that Bcl-2 is a target gene for p50-mediated transcription and suggest that the activation of p50 homodimers contributes to the expression of Bcl-2 observed in LY-ar cells. ^ Studies of upstream MAPK pathways that could influence NF-κB activity demonstrated that LY-ar cells had phosphorylated ERK proteins while LY-as cells did not. Treatment of LY-ar cells with the MEK inhibitors PD 98059, U0126, and PD 184352 led to a loss of phosphorylated ERK, a reversal of nuclear p50 homodimer DNA binding, and a decrease in the amount of Bcl-2 protein expression. Similarly, the activation of the MEK/ERK pathway in LY-as cells by phorbol ester led to Bcl-2 expression that could be blocked by PD 98059. Furthermore, treatment of LY-ar cells with TNFα, an IKK activator, did not change the suppressive effect of PD 98059 on p50 homodimer activity, suggesting an IKK-independent pathway for p50 homodimer activation. Lastly, all three MEK inhibitors sensitized LY-ar cells to radiation-induced apoptosis. ^ These data indicate that the activation of the MEK/ERK MAP-Kinase signaling pathway acts upstream of p50 homodimer activation and Bcl-2 expression in this B cell lymphoma cell system and suggest that the activation of MEK/ERK may be a key step in the progression of lymphoma to advanced-staged disease. Other researchers have used MEK inhibitors to inhibit cell growth and sensitize a number of tumors to chemotherapies. In light of our data, MEK inhibitors may additionally be useful clinically to radiosensitize cancers of lymphoid origin. ^

Ultraviolet radiation modulates the immune system through the platelet -activating factor receptor

Ultraviolet radiation plays a critical role in the induction of non-melanoma skin cancer. UV radiation is also immune suppressive. Moreover, UV-induced systemic immune suppression is a major risk factor for skin cancer induction. Previous work had shown that UV exposure in vivo activates a cytokine cascade involving PGE2, IL-4, and IL-10 that induces immune suppression. However, the earliest molecular events that occur immediately after UV-exposure, especially those upstream of PGE2, were not well defined. To determine the initial events and mediators that lead to immune suppression after a pathological dose of UV, mouse keratinocytes were analyzed after sunlamp irradiation. It is known that UV-irradiated keratinocytes secrete the phospholipid mediator of inflammation, platelet-activating factor (PAF). Since PAF stimulates the production of immunomodulatory compounds, including PGE2, the hypothesis that UV-induced PAF activates cytokine production and initiates UV-induced immune suppression was tested. Both UV and PAF activated the transcription of cyclooxygenase (COX)-2 and IL-10 reporter gene constructs. A PAF receptor antagonist blocked UV-induced IL, 10 and COX-2 transcription. PAF mimicked the effects of UV in vivo and suppressed delayed-type hypersensitivity (DTH), and immune suppression was blocked when UV-irradiated mice were injected with a PAF receptor antagonist. This work shows that UV generates PAF-like oxidized lipids, that signal through the PAF receptor, activate cytokine transcription, and induce systemic immune suppression. ^

Ascorbic acid effects on the immune system and type -1 /type -2 cytokine balance in humans

Vitamin C (ascorbic acid--AA) can have a substantial impact on human health by reducing the incidence and/or severity of coryza. Studies also suggest it has immunomodulatory functions in humans. Immune function is controlled by cytokines, such as type-1 cytokines (IFNγ) that promote antiviral immunity and type-2 cytokines (IL-4, IL-10) that promote humoral immunity. Knowing the mechanisms responsible for both antiviral immunity and type-1/type-2 cytokine balance, we sought to identify AA-induced alterations of human peripheral blood mononuclear cells (PBMC) in vivo and in vitro . We hypothesized that AA modulates the immune system, altering both number and function of PBMC. We first described the effect of 14 days of oral (1 gram) AA in healthy subjects. AA increased circulating natural killer (NK) cells, CD25+ and HLA-DR+ T cells, and PMA/ionomycin-stimulated intracellular IFNγ. We subsequently developed models for in vitro use. We determined that AA was toxic in vitro to T cells when used at doses found intracellularly but doses found in plasma from individuals taking 1gm/day AA were nontoxic. The model that most fully reproduced our in vivo intracellular cytokine findings used dehydroascorbic acid and buffers to deliver AA intracellularly. This model generated the largest increase in IFNγ at physiologic plasma concentrations. Previous studies demonstrate that chronic psychological stress is associated with a type-2 cytokine response. We hypothesized that vitamin C could prevent the type-2 cytokine shift associated with stress. In a study of medical students taking 1 g AA or placebo, a significant increase in IFNγ was seen intracellularly in CD4+ and CD8+ cells and in tetanus-stimulated cultures in the AA group only. We also observed increases in IFNγ/IL-4 and IFNγ/IL-10 ratios with AA supplementation, indicating a type-1 shift. Furthermore, we noted increased numbers of NK cells and activated T cells in the peripheral blood in the AA treated group only. Lastly, we investigated the role of the CD40L/CD40 and CD28/B7 costimulatory pathway in these cytokine alterations. AA did not have any effect on either pathway studied. Thus costimulatory pathways are not contributing to AA induced modulation of the type-1/type-2 immune balance. ^

Application of gas-cooled Accelerator Driven System (ADS) transmutation devices to sustainable nuclear energy development

The conceptual design of a pebble bed gas-cooled transmutation device is shown with the aim to evaluate its potential for its deployment in the context of the sustainable nuclear energy development, which considers high temperature reactors for their operation in cogeneration mode, producing electricity, heat and Hydrogen. As differential characteristics our device operates in subcritical mode, driven by a neutron source activated by an accelerator that adds clear safety advantages and fuel flexibility opening the possibility to reduce the nuclear stockpile producing energy from actual LWR irradiated fuel with an efficiency of 45?46%, either in the form of Hydrogen, electricity, or both.

An overview of the ciao system

Ciao is a logic-based, multi-paradigm programming system. One of its most distinguishing features is that it supports a large number of semantic and syntactic language features which can be selectively activated or deactivated for each program module. As a result, a module can be written in, for example, ISO-Prolog plus constraints and higher order, while another can be a puré logic module with a different control rule such as iterative deepening and/or tabling, and perhaps using constructive negation. A powerful and modular extensión mechanism allows user-level design and implementation of such features and sub-languages. Another distinguishing feature of Ciao is its powerful assertion language, which allows expressing many kinds of program properties (ranging from, e.g., moded types to resource consumption), as well as tests and documentation. The compiler is capable of statically ñnding violations of these properties or verifying that programs comply with them, and issuing certiñcates of this compliance. The compiler also performs many types of optimizations, including automatic parallelization. It offers very competitive performance, while retaining the flexibility and interactive development of a dynamic language. We will present a hands-on overview of the system, through small examples which emphasize the novel aspects and the motivations which lie behind Ciao's design and implementation.

The ciao prolog system

Ciao is a public domain, next generation multi-paradigm programming environment with a unique set of features: Ciao offers a complete Prolog system, supporting ISO-Prolog, but its novel modular design allows both restricting and extending the language. As a result, it allows working with fully declarative subsets of Prolog and also to extend these subsets (or ISO-Prolog) both syntactically and semantically. Most importantly, these restrictions and extensions can be activated separately on each program module so that several extensions can coexist in the same application for different modules. Ciao also supports (through such extensions) programming with functions, higher-order (with predicate abstractions), constraints, and objects, as well as feature terms (records), persistence, several control rules (breadth-first search, iterative deepening, ...), concurrency (threads/engines), a good base for distributed execution (agents), and parallel execution. Libraries also support WWW programming, sockets, external interfaces (C, Java, TclTk, relational databases, etc.), etc. Ciao offers support for programming in the large with a robust module/object system, module-based separate/incremental compilation (automatically -no need for makefiles), an assertion language for declaring (optional) program properties (including types and modes, but also determinacy, non-failure, cost, etc.), automatic static inference and static/dynamic checking of such assertions, etc. Ciao also offers support for programming in the small producing small executables (including only those builtins used by the program) and support for writing scripts in Prolog. The Ciao programming environment includes a classical top-level and a rich emacs interface with an embeddable source-level debugger and a number of execution visualization tools. The Ciao compiler (which can be run outside the top level shell) generates several forms of architecture-independent and stand-alone executables, which run with speed, efficiency and executable size which are very competive with other commercial and academic Prolog/CLP systems. Library modules can be compiled into compact bytecode or C source files, and linked statically, dynamically, or autoloaded. The novel modular design of Ciao enables, in addition to modular program development, effective global program analysis and static debugging and optimization via source to source program transformation. These tasks are performed by the Ciao preprocessor ( ciaopp, distributed separately). The Ciao programming environment also includes lpdoc, an automatic documentation generator for LP/CLP programs. It processes Prolog files adorned with (Ciao) assertions and machine-readable comments and generates manuals in many formats including postscript, pdf, texinfo, info, HTML, man, etc. , as well as on-line help, ascii README files, entries for indices of manuals (info, WWW, ...), and maintains WWW distribution sites.