Learn More
ENOD12 is one of the first nodulin genes expressed upon inoculation with Rhizobium and also purified Nod factors are able to induce ENOD12 expression. The ENOD12 gene family in pea (Pisum sativum) has two members. A cDNA clone representing PsENOD12A [26] and a PsENOD12B genomic clone [7] have been previously described. The isolation and characterization of(More)
SALL4 (sal-like protein 4) is a pluripotency transcription factor, which is highly expressed in embryonic stem (ES) cells and which is essential for mouse preimplantation development. In adult mouse organs, Sall4 mRNA is highly expressed in the testis and ovary, while there is only little or no expression in other organs. There is also a high expression of(More)
A class of Probabilistic Abductive Logic Programs (PALPs) is introduced and an implementation is developed in CHR for solving abductive problems, providing minimal explanations with their probabilities. Both all-explanations and most-probable-explanations versions are given. Compared with other probabilistic versions of abductive logic programming , the(More)
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integrity constraints. Assumptions are a mechanism inspired by linear logic and taken over from Assumption Grammars. The language shows a novel flexibility in the interaction between the(More)
Integrity constraint and abduction are important in query-answering systems for enhanced query processing and for expressing knowledge in databases. A straightforward characterization of the two is given in a subset of the language CHR ¤ , originally intended for writing constraint solvers to be applied for CLP languages. This subset has a strikingly simple(More)
This paper is a comment on two recent contributions to Sigplan Notices. In his paperC QThe static semantics !leRC no. 25/4C Brian Meek discusses the relevance of the notion of Qstatic semanticsR. The relation between a variable's declaration and the restrictions on its useC for exampleC is usually classi!ed as static semantics. Meek !nds the designation(More)