✦ LIBER ✦

A new computation rule for prolog

✍ Scribed by Ashok Kumar; V.M. Malhotra

Book ID: 113163217
Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 302 KB
Volume: 27
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(88)90087-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new rule for computing Clebsch-Gordan

A new rule for computing Clebsch-Gordan series

✍ Kenneth Baclawski 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 843 KB

How should Prolog computation Be represe

How should Prolog computation Be represented for practical use?

✍ Masayuki Numao; Shin’ichi Morishita; Hiroshi Maruyama 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 782 KB

MEM: A new execution model for Prolog

✍ J Tubella; A González 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 355 KB

A new term representation method for pro

A new term representation method for prolog

✍ Xining Li 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 972 KB

Various Prolog systems can be classified into two categories: Structure Sharing (SS) and Structure Copying (SC). The fundamental distinction between SS and SC is the way in which they represent structures. SS represents a structure instance by a two-pointer molecule with one end toward the structure

Introduction to Prolog computation model

Introduction to Prolog computation model and its implementation

✍ A Domenici; B Lazzerini; CA Prete 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 973 KB

Translating production rules into a forw

Translating production rules into a forward reasoning Prolog program

✍ Akira Yamamoto; Hozumi Tanaka 📂 Article 📅 1986 🏛 Springer 🌐 English ⚖ 403 KB