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