𝔖 Bobbio Scriptorium
✦   LIBER   ✦

MEM: A new execution model for Prolog

✍ Scribed by J Tubella; A González

Book ID
107910488
Publisher
Elsevier Science
Year
1993
Weight
355 KB
Volume
39
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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