Non-termination Analysis of Logic Programs with Integer arithmetics

In the past years, analyzers have been introduced to detect classes of non-terminating queries for definite logic programs. Although these non-termination analyzers have shown to be rather precise, their applicability on real-life Prolog programs is limited because most Prolog programs use non-logical features. As a first step towards the analysis of Prolog programs, this paper presents a non-termination condition for Logic Programs containing integer arithmetics. The analyzer is based on our non-termination analyzer presented at ICLP 2009. The analysis starts from a class of queries and infers a subclass of non-terminating ones. In a first phase, we ignore the outcome (success or failure) of the arithmetic operations, assuming success of all arithmetic calls. In a second phase, we characterize successful arithmetic calls as a constraint problem, the solution of which determines the non-terminating queries.Comment: 15 pages, 2 figures, journal TPLP (special issue on the international conference of logic programming

Self-consistent field theory for obligatory coassembly

We present a first-order model for obligatory coassembly of block copolymers via an associative driving force in a nonselective solvent, making use of the classical self-consistent field (SCF) theory. The key idea is to use a generic associative driving force to bring two polymer blocks together into the core of the micelle and to employ one block of the copolymer(s) to provide a classical stopping mechanism for micelle formation. The driving force is generated by assuming a negative value for the relevant short-range Flory-Huggins interaction parameter. Hence, the model may be adopted to study micellization via H bonding, acceptor-donor interactions, and electrostatic interactions. Here, we limit ourselves to systems that resemble experimental ones where the mechanism of coassembly is electrostatic attraction leading to charge compensation. The resulting micelles are termed complex coacervate core micelles (CCCMs). We show that the predictions are qualitatively consistent with a wide variety of experimentally observed phenomena, even though the model does not yet account for the charges explicitly. For example, it successfully mimics the effect of salt on CCCMs. In the absence of salt CCCMs are far more stable than in excess salt, where the driving force for self-assembly is screened. The main limitations of the SCF model are related to the occurrence of soluble complexes, i.e., soluble, charged particles that coexist with the CCCM