计算具有继承有限序列
摘要：使用Prolog作为灵活的元语言，提供一些基本数学对象及其转换的可执行规范。 在此过程中，自然数和组合对象（表示遗传有限序列的根有序树和表示哥德尔的T类型的根有序二叉树）之间的同构被解开。 本文着重介绍一种可以看作是意外的“范式转变”的应用程序：我们提供递归定义，显示生成的表示可以直接用于执行符号上的任意长度整数计算。 除了“突破算术/符号障碍”的理论上有趣之外，使用树或类型等符号对象执行的算术运算实际上是真正有效的 - 我们得到了与任意长度整数算术的普通位串实现相当的渐进性能的实现。 本文的源代码作为可读性的Prolog程序组织，可在url {http：//logic.cse.unt.edu/tarau/research/2011/pPAR.pl}上获取。
作者：Paul Tarau
论文ID：1112.3782
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-12-19