✦ LIBER ✦

The expressive power of side effects in prolog

✍ Scribed by J.A. Makowsky; J.-C. Grégoire; S. Sagiv

Book ID: 108016233
Publisher: Elsevier Science
Year: 1992
Tongue: English
Weight: 592 KB
Volume: 12
Category: Article
ISSN: 0743-1066
DOI: 10.1016/0743-1066(92)90043-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

OR parallel execution of Prolog programs

OR parallel execution of Prolog programs with side effects

✍ Laxmikant V. Kale; David A. Padua; David C. Sehr 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 796 KB

Cuts and side-effects in distributed mem

Cuts and side-effects in distributed memory OR-parallel prolog

✍ É. Morel; J. Briat; J.Chassin de Kergommeaux 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 958 KB

The aim of the logic programming system PloSys is to offer most Prolog functionalities on distributed memory parallel computers as well as networks of personal computers. The PloSys computational model exploits OR-parallelism. It is designed to implement cuts and side-effects while keeping the numbe

The expressive power of voting polynomia

The expressive power of voting polynomials

✍ J. Aspnes; R. Beigel; M. Furst; S. Rudich 📂 Article 📅 1994 🏛 Springer-Verlag 🌐 English ⚖ 805 KB

On the Expressive Power of OKFDDs

✍ Bernd Becker; Rolf Drechsler; Michael Theobald 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 369 KB

The use of PROLOG in power system restor

The use of PROLOG in power system restoration

✍ Edward D. Tweed; Ralph M. Butler 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 212 KB

The expressive power of delay operators

The expressive power of delay operators in SCCS

✍ Carol Critchlow; Prakash Panangaden 📂 Article 📅 1991 🏛 Springer-Verlag 🌐 English ⚖ 307 KB