搜索结果: 1-1 共查到“顺序编译”相关记录1条 . 查询时间(0.109 秒)
PARLOG顺序编译系统包括单解和全解关系两种执行机制，并高效地将两种关系统一于一个顺序编译系统中，全解关系采用纯Horn子句形式，直观、简练，可读性好，系统提供了丰富的内部谓词、与UNIX的接口以及动态跟踪调试工具。移植扩充的Hope+C语言，扩充了函数库，增强了语言的表处理、数学计算和位操作能力，使系统功能进一步完善，提高了系统的实用性，执行速度快，可读性、可证明性和可维护性强。