✦ LIBER ✦

On the existence of nonterminating queries for a restricted class of PROLOG-clauses

✍ Scribed by Danny de Schreye; Maurice Bruynooghe; Kristof Verschaetse

Publisher: Elsevier Science
Year: 1989
Tongue: English
Weight: 557 KB
Volume: 41
Category: Article
ISSN: 0004-3702
DOI: 10.1016/0004-3702(89)90012-x

No coin nor oath required. For personal study only.

✦ Synopsis

Thts work studtes the extstence of nontermmatmg quertes for a restrtcted class of recurstve predtcates

The class ts restrtcted to predtcates defined by a set of clauses contammg only one (dtrect) recurslve clause Moreover, thzs clause must be of the form P( ) -P( ) For this restrtcted cla~s of predtcates, we prove a necessary and sufficwnt condmon for the extstence of a query whtch is nontermmatmg tn the absence of the occur check The condttton t9 based upon concepts from rattonal trees

📜 SIMILAR VOLUMES

An Existence Theorem for a Class of BVP

An Existence Theorem for a Class of BVP without Restrictions of the Bernstein-Nagumo Type

✍ A. Tineo 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 247 KB

On a class of restricted phase problems

On a class of restricted phase problems in the plane

✍ M.B Subrahmanyam 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 642 KB

On the Existence of Many Solutions for a

On the Existence of Many Solutions for a Class of Superlinear Elliptic Systems

✍ Monica Conti; Luca Merizzi; Susanna Terracini 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 273 KB

On the existence and uniqueness of minim

On the existence and uniqueness of minimizers for a class of integral functionals

✍ Graziano Crasta; Annalisa Malusa 📂 Article 📅 2005 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 256 KB

On the existence of positive solutions f

On the existence of positive solutions for a class of semilinear elliptic equations

✍ Imed Bachar; Noureddine Zeddini 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 112 KB

On the existence of bounded positive sol

On the existence of bounded positive solutions for a class of singular BVPs

✍ Aleksandra Orpel 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 231 KB

We investigate the existence and properties of solutions to a second-order singular ODE. We base ourselves on the variational approach, which enables the approximation of solutions and gives a measure of a duality gap between primal and dual functional for minimizing sequences.