[1]邢汉承.逻辑程序设计语言NIT-PROLOG编译—解释系统[J].东南大学学报(自然科学版),1987,17(6):1-7.[doi:10.3969/j.issn.1001-0505.1987.06.001]
 [J].Journal of Southeast University (Natural Science Edition),1987,17(6):1-7.[doi:10.3969/j.issn.1001-0505.1987.06.001]
点击复制

逻辑程序设计语言NIT-PROLOG编译—解释系统()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
17
期数:
1987年第6期
页码:
1-7
栏目:
本刊信息
出版日期:
1987-11-20

文章信息/Info

作者:
邢汉承
南京工学院计算机科学与工程系
关键词:
编译 解释 合一 尾项优化 查错
分类号:
+
DOI:
10.3969/j.issn.1001-0505.1987.06.001
摘要:
逻辑程序设计语言 NIT-PROLOG 采用编译—解释方式实现。实现过程中综合考虑了匹配、索引、尾项递归优化、线性合一、查错跟踪等多项技术的采用,提供了不同的合一、解释模块,便于用户组成不同功能的 PROLOG 系统。
更新日期/Last Update: 2013-05-01