๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A controlling scheme for Prolog through count terms

โœ Scribed by Young K Nam; Lawrence J Henschen


Book ID
113230413
Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
803 KB
Volume
19
Category
Article
ISSN
0096-0551

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A new term representation method for pro
โœ 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