RSS订阅逻辑编程
贡献者：葱爆羊肉 浏览：1481次 创建时间：2009-06-26
-
逻辑编程是种编程典范，它设定答案须符合的规则来解决问题，而非设定步骤来解决问题。过程是
事實+規則=結果。
不同的方法，可以看Inductive logic programming。
逻辑编程的要点是将正规的逻辑风格带入电脑程式设计之中。数学家和哲学家发现逻辑是有效的理论分析工具。很多问题可以自然地表示成一个理论。说需要解答一个问题，通常与解答一个新的假设是否跟现在的理论无冲突等价。逻辑提供了一个证明问题是真还是假的方法。建立证明的方法是人所皆知的，故逻辑是解答问题的可靠方法。逻辑编程系统则自动化了这个程序。人工智能在逻辑编程的发展中发挥了重要的影响。
猴子和香蕉问题是逻辑编程社群的著名问题。电脑须自行找出令猴子接触香蕉的可行方法，取代程式设计师指定猴子接触香蕉的路径和方法。
逻辑编程建立了描述一个问题里的世界的逻辑模型。逻辑编程的目标是对它的模型建立新的陈述。世界上知识不断澎涨。传统来说，我们会将一个问题陈述成单一的假设。逻辑编程的程式透过证明这个假设在模型里是否为真来解决问题。
一些经常用到逻辑编程工具的范畴：
专家系统，程式从一个巨大的模型中产生一个建议或答案。
自动化证明定理，程式产生一些新定理来扩充现有的理论。
最常用的逻辑编程语言是Prolog，另外有较适用于大型方案的Mercury。详尽的清单可见于Category:逻辑编程语言。
开放分类
参考资料
http://zh.wikipedia.org/w/index.php?title=%E9%82%8F%E8%BC%AF%E7%B7%A8%E7%A8%8B&variant=zh-cn
贡献者
本词条在以下词条中被提及：
关于本词条的评论共：（0条）
