H·阿佐恩。 Prolog中的类型推断。 （英语） Zbl 0667.68018号 自动扣除，程序。第九届国际会议，阿贡/伊利诺伊州，1988年，法律。注释计算。科学。310, 258-277 (1988). [关于整个系列，请参见Zbl 0638.00038号.]PROLOG程序中分配给语句头的类型是由参数类型组成的元组。这些类型是由常量和类型变量组成的术语，由程序中使用的相同函数符号组成。谓词的类型最初是包含它的头类型的析取，但随后通过程序的符号执行的一些步骤将其缩小。其目的是使某些类型为空，从而允许在程序执行过程中忽略相应的对象。与作者强调的其他方法的主要区别是多态类型的可能性和不需要显式类型声明。审核人：G.薄荷 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68第05页 数据结构 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：类型赋值。Zbl 0638.00038号；PROLOG公司；符号执行；多态类型的 引文：Zbl 0638.00038号 PDF格式BibTeX公司 XML格式