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