是否有不需要类型系统的高阶Prolog? [英] Is there a higher order Prolog that wouldn't need a type system?
问题描述
我怀疑λProlog需要一个类型系统来使其更高
订单统一声音.否则通过自我申请一些
罗素类型异常可能会出现.
I suspect that λProlog needs a type system to make their higher
order unification sound. Otherwise through self application some
Russell type anomalies can appear.
是否有不需要.sig文件的替代高阶Prolog?
也许通过更简单的类型系统，不需要那么多
声明，但仍然具有某种形式的高阶统一?
Are there alternative higher order Prologs that don't need .sig files?
Maybe by a much simpler type system, that doesn't need that many
declarations but still has some form of higher order unification?
可以解决这个难题吗?
推荐答案
是否存在不需要类型系统的高阶Prolog?
Is there a higher order Prolog that wouldn't need a type system?
这些是无类型的:
在HiOrd论文中:
提出的框架引起了作者希望提出的许多问题，在未来的研究中穿着.特别是，必须针对与其他高阶正式系统(Hilog，Lambda-Prolog)进行比较.为了例如，保守地翻译高级"通过擦除类型将λProlog的Horn片段排序为Hiord，作为分辨率规则本质上是相同的(假设类型安全的高阶统一协议程序).
The framework proposed gives rise to many questions the authors hope to ad- dress in future research. In particular, a rigorous treatment must be developed for comparison with other higher-order formal systems (Hilog, Lambda-Prolog). For example, it is reasonably straightforward to conservatively translate the Higher- order Horn fragment of λProlog into Hiord by erasing types, as the resolution rules are essentially the same (assuming a type-safe higher-order unification pro- cedure).
- Ciao (包括HiOrd)
- Ciao (includes HiOrd)
这篇关于是否有不需要类型系统的高阶Prolog?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！
