The search strategy of standard Prolog can lead to a situation in which a predicate has to be evaluated in circumstances where it has an infeasibly large number of instantiations. The work by Kornfeld [8] addressed this important problem by means of an extension of unification which allows Prolog to be augmented by what is essentially a (non-standard) equality theory. This paper uses the notion...

A new and efficient numerical approach is developed for solving nonlinear Lane-Emden type equations via Bernoulli operational matrix of differentiation.The fundamental structure of the presentedmethod is based on theTaumethod togetherwith theBernoulli polynomial approximations in which a new operational matrix is introduced. After implementation of our scheme, the main problem would be transfor...

In this paper, variational homotopy perturbation method (VHPM) is used to obtain analytical solution for the time-dependent Emden-Fowler type of equations with singular behavior. The advantage of this work is twofold. Firstly, the VHPM reduces the computational work. Secondly, in comparison with existing techniques, the VHPM is an improvment with regard to its accuracy and rapid convergence. To...

Let (M, g) be a compact Riemannian manifold without boundary, with dimM ≥ 3, and f : R→ R a continuous function which is sublinear at infinity. By various variational approaches, existence of multiple solutions of the eigenvalue problem −∆gω + α(σ)ω = K̃(λ, σ)f(ω), σ ∈M, ω ∈ H 1 (M), is established for certain eigenvalues λ > 0, depending on further properties of f and on explicit forms of the f...

We propose a novel mathematical method to construct an exact polytropic sphere in self-gravitating hydrostatic equilibrium, improving the non-linear Poisson equation. The central boundary condition for the present equation requires a ratio of gas pressure to total one at the centre, which is uniquely identified by the whole mass and molecular weight of the system. The special solution derived f...

In this paper we show the embedding of Hybrid Probabilis-tic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (deenite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the rst time a framework encompassing several qu...

Wewill establish some oscillation criteria for the third-order Emden-Fowler neutral delay dynamic equations r t x t − a t x τ t ΔΔ Δ p t x δ t 0 on a time scale T, where γ > 0 is a quotient of odd positive integers with r, a, and p real-valued positive rd-continuous functions defined on T. To the best of our knowledge nothing is known regarding the qualitative behavior of these equations on tim...

Bu çalışma, Almanya’nın I. Dünya Savaşından sonra inşa ettiği ilk hafif kruvazör olan ve yaptığı dünya turu kapsamında, 1929 yılında İstanbul’a demirleyen Emden gemisi ile ilgilidir. yılı hem İstanbul açısından önem arz eden bir yıldır. 1929’un kış mevsimi, İstanbul’un en sert kışlardan biri olarak tarihe geçmiştir. Aynı yıl dünya, çok büyük ekonomik krizi, Büyük Buhranı deneyimleyecektir. Böyl...