A typed functional extension of logic programming

A logic language is suitable for specification if it is equipped with features for data abstraction and modularization. In this paper, an effective mechanism to incorporate function and type into logic programming is presented as the means to embed data abstraction mechanism into logic programming. This incorporation is essentially based on Horn clause logic with equality and a polymorphic type system that is an extension of Mycroft and O’Keefe’s system. This paper also presents an implementation based on Warren Abstract Machine (WAM) and shows the performance, along with a comparison with WAM.     

Hip impact velocities and body configurations for voluntary falls from standing height

OBJECTIVE: To determine prevalence of various pheno- and genotypes of Serpulina sp in young pigs in relation to diarrhea and feed medication in Swedish pig-rearing herds. DESIGN: Isolation of spirochetes. Phenotypical and genotypical classification. SAMPLE POPULATION: Young pigs (n = 358) in 19 pigrearing herds. PROCEDURE: Serpulina isolates were classified according to a biochemical scheme based on hemolysis, indole production, hippurate hydrolysis, and alpha-galactosidase, alpha-glucosidase, and beta-glucosidase activities. The 16S rRNA sequences for 10 of the field strains and 2 type strains of Serpulina spp were aligned and compared. Minimum inhibitory concentrations of olaquindox for 9 of the strains were determined. RESULTS: Weakly beta-hemolytic intestinal spirochetes (WBHIS) were isolated from 17 of the herds and 65% of the samples. More than 1 phenotype of WBHIS was found in 12 of the 19 herds. S hyodysenteriae was not isolated in any of the herds. Hippurate-positive WBHIS were isolated in 6 of 7 herds affected by diarrhea, but in only 1 of 8 herds without diarrhea. Hippurate-positive strains were closely related to the pathogenic strain P43 if judged from sequence comparisons. Strains with the same biochemical profile isolated within a herd had identical sequences, but when isolated from different herds, sequence differences were observed. The prevalence of WBHIS was reduced in herds medicated with olaquindox. Investigated field strains had minimum inhibitory concentration values < or = 1 microgram/ml for olaquindox. CONCLUSION: The presence of WBHIS, with the ability to hydrolyze hippurate, was related to diarrhea in pig herds. CLINICAL RELEVANCE: Potentially pathogenic WBHIS can be distinguished from nonpathogenic strains by the hippurate hydrolysis test.     

Validation of a specific selection criterion for dental periapical radiography

We report three children with hemidystonia in whom anti-cardiolipin (aCL) antibodies were demonstrated. Systemic lupus erythematosus was excluded on the basis of both clinical and serological criteria, and the diagnosis of primary antiphospholipid syndrome (PAPS) was made. In two cases, aCL antibodies could be causally related to a presumed immune-mediated thrombotic event involving the basal ganglia as shown by magnetic resonance imaging (MRI). In the remaining patient the finding of white matter alteration on NMR might be due to cross-reactivity of anti-phospholipid (aPL) antibodies with cerebral phospholipids, resulting in demyelination. We suggest that PAPS must always be considered when isolated or recurrent focal cerebral ischaemia, and particularly hemidystonia, occur in childhood.     

Rapid infusion system for neurosurgical treatment of massive intraoperative hemorrhage

Using an illustrative case of severe closed head injury that resulted in a posterior fossa epidural hematoma (EDH) and supratentorial epidural/subdural hematomas (SDH), the massive blood losses associated with operative repair of the torn sigmoid sinus and the significant fluid losses associated with refractory diabetes insipidus were treated by the intraoperative use of the Rapid Infusion System (RIS, Haemonetics). The RIS can rapidly infuse warm blood, crystalloid, or colloid at rates up to 1.5 L/min, thereby limiting the commonly associated hypotension, hypothermia, and coagulopathies. During the suboccipital craniectomy for evacuation of the EDH and repair of the sigmoid sinus, the patient required 18 units of blood replacement secondary to a large tear in the sigmoid sinus. During a separate craniotomy for evacuation of the SDH, the patient also developed diabetes insipidus, which increased the operative fluid replacement to 39 L. Despite these massive blood and fluid losses, the RIS limited the hypotension to less than 2 min and prevented hypothermia and the frequently associated coagulopathies. When used in a neurosurgical setting associated with massive blood and/or fluid losses, the RIS accomplishes three important objectives: (1) rapid infusion of intravenous fluids for maintaining perfusion pressure, (2) rapid warming of fluids despite high intravenous infusion rates of cold crystalloids, thereby preventing intraoperative hypothermia, and (3) continuous monitoring of infusion rates and totals.     

A comparative evaluation of two sensitive serum neutralization tests for bovine herpesvirus-1 antibodies

The need for frequent injections and monitoring, the possibility of multiple gestations, and the higher cost compared to clomiphene citrate, prevents many clinicians from using human menopausal gonadotrophin (HMG) for ovulation induction. A sequential medication regimen, in which HMG is taken after clomiphene, overcomes these problems. We retrospectively compared per cycle fecundity and birth rates in 119 cycles of clomiphene-HMG, 524 cycles of clomiphene alone, 57 cycles of HMG alone, and 79 cycles of concurrent HMG and clomiphene in patients receiving intra-uterine insemination (IUI), who were free of endometriosis or tubal disease. Per cycle fecundity for clomiphene-HMG was 22% [95% confidence interval (CI) 12-34%], double that of clomiphene alone (11%) (95% CI 8-14%) (P < 0.01), and equal to HMG alone (18%) (95% CI 7-29%) or HMG and clomiphene together (19%) (95% CI 10-28%). The multiple birth rate for clomiphene-HMG (7/21) equalled that for HMG alone (3/12) and HMG and clomiphene together (3/8). The average number of ampoules of HMG required [follicle stimulating hormone (FSH) 75 mIU, luteinizing hormone (LH) 75 mIU] was decreased by 65% from 24.5 +/- 1.0 for HMG or HMG and clomiphene together to 8.6 +/- 0.3 for clomiphene-HMG (P < 0.001). Per cycle fecundity was identical when one, two or three ampoules of HMG per day were administered after clomiphene. We conclude that ovulation induction with sequential clomiphene-HMG results in fecundity double that of clomiphene alone and equal to HMG alone or concurrent with clomiphene, thereby reducing the requirement for HMG.