摘要
文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。
This paper describes some optimization techniques applicable to the design ofcompiler-based PROLOG systems, including execution driven compilation strategies,classification of procedure code, and operating modes for database operationbuiltins.
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
1989年第1期1-7,共7页
Journal of National University of Defense Technology
基金
国家自然科学基金
关键词
编译程序
PROLOG系统
优化技术
prolog system
compilation
optimization compilation straregies
database operation
