By a News Reporter-Staff News Editor at Information Technology Newsweekly -- Current study results on Information Technology have been published. According to news reporting out of Pescara, Italy, by VerticalNews editors, research stated, "Constraint Handling Rules (CHR) is a committed-choice declarative language which has been originally designed for writing constraint solvers and which is nowadays a general purpose language. Recently the language has been extended by introducing user-definable (static or dynamic) rule priorities."
Our news journalists obtained a quote from the research from the University of G. d'Annunzio, "The resulting language allows a better control over execution while retaining a declarative and flexible style of programming. In this paper we study the expressive power of this language. We first show that, in the presence of priorities, differently from the case of standard CHR, considering more than two atoms in the heads of rules does not augment the expressive power of the language. Next we show that also dynamic priorities do not augment the expressive power w.r.t. static priorities. These results are proved by providing explicitly a translation of one language into another one, which preserves a reference semantics. Finally we show that CHR with priorities is strictly more expressive than standard CHR (under the theoretical operational semantics)."
According to the news editors, the research concluded: "This result is obtained by adapting to the CHR case a notion of language encoding which allows to compare Turing powerful languages."
For more information on this research see: The expressive power of CHR with priorities. Information and Computation, 2013;228():62-82. Information and Computation can be contacted at: Academic Press Inc Elsevier Science, 525 B St, Ste 1900, San Diego, CA 92101-4495, USA. (Elsevier - www.elsevier.com; Information and Computation - www.elsevier.com/wps/product/cws_home/622844)
Our news journalists report that additional information may be obtained by contacting M. Gabbrielli, Univ G dAnnunzio, Dept. of Econ Studies, I-65127 Pescara, Italy. Additional authors for this research include J. Mauro and M.C. Meo.
Keywords for this news article include: Italy, Europe, Pescara, Information Technology
Our reports deliver fact-based news of research and discoveries from around the world. Copyright 2013, NewsRx LLC