Parallel execution of Prolog programs: a survey

Since the early days of logic programming, researchers in the field realized the potential for exploitation of parallelism present in the execution of logic programs. Their high-level nature, the presence of nondeterminism, and their referential transparency, among other characteristics, make logic programs interesting candidates for obtaining speedups through parallel execution. At the same time, the fact that the typical applications of logic programming frequently involve irregular computations, make heavy use of dynamic data structures with logical variables, and involve search and speculation, makes the techniques used in the corresponding parallelizing compilers and run-time systems potentially interesting even outside the field. The objective of this article is to provide a comprehensive survey of the issues arising in parallel execution of logic programming languages along with the most relevant approaches explored to date in the field. Focus is mostly given to the challenges emerging from the parallel execution of Prolog programs. The article describes the major techniques used for shared memory implementation of Or-parallelism, And-parallelism, and combinations of the two. We also explore some related issues, such as memory management, compile-time analysis, and execution visualization.

Implementation of an event driven scheme for visualizing parallel execution of logic programs

This article presents in an informal way some early results on the design of a series of paradigms for visualization of the parallel execution of logic programs. The results presented here refer to the visualization of or-parallelism, as in MUSE and Aurora, deterministic dependent and-parallelism, as in Andorra-I, and independent and-parallelism as in &-Prolog. A tool has been implemented for this purpose and has been interfaced with these systems. Results are presented showing the visualization of executions from these systems and the usefulness of the resulting tool is briefly discussed.

Implementation of an event driven scheme for visualizing parallel execution of logic programs.

This article presents in an informal way some early results on the design of a series of paradigms for visualization of the parallel execution of logic programs. The results presented here refer to the visualization of or-parallelism, as in MUSE and Aurora, deterministic dependent and-parallelism, as in Andorra-I, and independent and-parallelism as in &-Prolog. A tool has been implemented for this purpose and has been interfaced with these systems. Results are presented showing the visualization of executions from these systems and the usefulness of the resulting tool is briefly discussed.

Bile Acids Induce Glucagon-Like Peptide 2 Secretion with Limited Effects on Intestinal Adaptation in Early Weaned Pigs

Early weaning is a stressful event characterized by a transient period of intestinal atrophy that may be mediated by reduced secretion of glucagon-like peptide (GLP) 2. We tested whether enterally fed bile acids or plant sterols could increase nutrient-dependent GLP-2 secretion and improve intestinal adaptation in weanling pigs. During the first 6 d after weaning, piglets were intragastrically infused once daily with either deionized water -control-, chenodeoxycholic acid -CDC; 60mg/kg body weight-, or b-sitoesterol -BSE; 100 mg/kg body weight-. Infusing CDC increased plasma GLP-2 -P menor que 0.05- but did not affect plasma GLP-1 and feed intake. The intestinal expression of Glp2r -glucagon-like peptide 2 receptor-, Asbt -sodium-dependent bile acid transporter-, Fxr -farnesoid X receptor-, and Tgr5 -guanosine protein?coupled bile acid receptor- genes were not affected by CDC treatment. The intragastric administration of CDC did not alter the weight and length of the intestine, yet increased the activation of caspase-3 in ileal villi -P menor que 0.02- and the expression of Il6 -interleukin 6; P menor que 0.002- in the jejunum. In contrast, infusing BSE did not affect any of the variables that were measured. Our results show that the enteral administration of the bile acid CDC potentiates the nutrient-induced secretion of endogenous GLP-2 in early-weaned pigs. Bile acid?enhanced release of GLP-2, however, did not result in improved intestinal growth, morphology, or inflammation during the postweaning degenerative phase.