A method is described for implementing a general database supporting objects, which is tightly coupled to Prolog. This provides the Prolog interpreter with database storage for its clauses. It also allows one to create and access from Prolog objects of arbitrary type such as frames with attached procedures. The interface from Prolog allows the full use of the computational and database facilities of the PS-Algol implementation Language, within the framework of an Abstract Data Type scheme, which is based on an implementation of modules in Prolog. The paper describes how evaluable predicates can be written in PS-Algol and made to backtrack, thus providing a neat symbiosis between the two languages.
原文链接
分享
引用
