逻辑程序设计

本文论述逻辑程序设计,并将它与以规则为基础的人工智能语言和函数程序设计相比较。文中还讨论了需要解决的两个主要问题:如何规定由函数程序设计语言中的高阶函数提供的特性;框架问题及其与破坏性赋值的关系。另外,本文还指出,按照 Weyhrauch 在 FOL 中提出的方法,把目标语言与元语言结合起来,这是解决这些问题的有希望的方法。