发动机 达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik） 莱布尼茨国际信息学会议录 1868-8969 2012-09-05 451 457 10.4230/LIPIcs公司。ICLP.2012.451号 文章 斯皮罗斯·哈吉克里斯托杜鲁 尽管Prolog是作为一种非类型化语言设计和开发的，但在提出适合它的类型系统方面已经有很多尝试。这一领域的研究目标是使Prolog编程更容易、更不容易出错，这不仅适用于新手用户，也适用于经验丰富的程序员。尽管许多提议的系统都有很深的理论基础，可以为Prolog添加类型，但大多数Prolog供应商仍然不愿意在其编译器版本中包含任何类型。因此，标准Prolog仍然是一种非类型化语言。我们的工作可以理解为向类型化Prolog迈进了一步。我们提出了对Prolog中研究最广泛的类型系统之一Mycroft-O'Keefe类型系统的扩展，并给出了XSB-Prolog的实现。生成的类型系统可以被描述为渐变类型系统，用户从其程序的完全非类型化版本开始，逐步从系统本身获取有关他定义的谓词可能类型的信息，直到在源代码中找到所有谓词的类型签名。 https://drops.dagstuhl.de/storage/00lipics/lipics-vol017-iclp2012/lipics.ICLP.2012.451/lipics.ICLP.2012年451.pdf 类型推断 多态型系统 逐步键入 表格 答案订阅