Pepl, parameter estimation in Prolog, is an implementation of the failure adjusted maximisation algorithm (FAM) [4] for Stochastic Logic Programs (Slps) [6, 7]. SLPs extend logic programming by arithmetic labels on clausal definitions. They have well characterised log linear semantics and backtracking strategies [5, 3]. The FAM algorithm was introduced as an extension to the Expectation-Maximiz...

‎We obtain the asymptotic expansion of the sequence with general term $frac{A_n}{G_n}$‎, ‎where $A_n$ and $G_n$ are the arithmetic and geometric means of the numbers $d(1),d(2),dots,d(n)$‎, ‎with $d(n)$ denoting the number of positive divisors of $n$‎. ‎Also‎, ‎we obtain some explicit bounds concerning $G_n$ and $frac{A_n}{G_n}$.

{sl let $[n]={1,dots, n}$ be colored in $k$ colors. a rainbow ap$(k)$ in $[n]$ is a $k$ term arithmetic progression whose elements have different colors. conlon, jungi'{c} and radoiv{c}i'{c} cite{conlon} prove that there exists an equinumerous 4-coloring of $[4n]$ which is rainbow ap(4) free, when $n$ is even. based on their construction, we show that such a coloring of ...