In PROLOG database stored are clauses comprising PROLOG procedures and other long-term data structures represented as clauses. The implementation techniques for the manípulation of clauses are very important for PROLOG'S being a powerful AI language. It is even more the case when considering the storage of compiled clauses. With the supports of YH-SIM architecture,we propose a new structured organization for compiler-based PROLOG database,and present a simple and efficient management strategy that a procedure is the unit for claiming,and a clause the unit for dooming. Also different schemes for clause representation in the database are investigated briefly.
参考文献
相似文献
引证文献
引用本文
李良良,慈云桂.一种结构化的编译型 PROLOG数据库及其管理策略[J].国防科技大学学报,1988,10(2):58-66. Li Liangliang, Ci Yungui. A Structured Organization for the Compiler-based PROLOG Database and Its Management[J]. Journal of National University of Defense Technology,1988,10(2):58-66.