逻辑编程

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

产品秀秀

免费为您秀产品

逻辑编程

逻辑编程逻辑编程（逻辑程-{}-序设计）是种编程典范，它设定答案须符合的规则来解决问题，而非设定步骤来解决问题。过程是算法=逻辑+控制。不同的方法，可以看。逻辑编程的要点是将正规的逻辑风格带入电脑程式设计之中。数学家和哲学家发现逻辑是有效的理论分析工具。很多问题可以自然地表示成一个理论。说需要解答一个问题，通常与解答一个新的假设是否跟现在的理论无冲突等价。逻辑提供了一个证明问题是真还是假的方法。建立证明的方法是人所皆知的，故逻辑是解答问题的可靠方法。逻辑编程系统则自动化了这个程序。人工智能在逻辑编程的发展中发挥了重要的影响。是逻辑编程社群的著名问题。电脑须自行找出令猴子接触香蕉的可行方法，取代程式设计师指定猴子接触香蕉的路径和方法。逻辑编程建立了描述一个问题里的世界的逻辑模型。逻辑编程的目标是对它的模型建立新的陈述。世界上知识不断膨胀。传统来说，我们会将一个问题陈述成单一的假设。逻辑编程的程式透过证明这个假设在模型里是否为真来解决问题。一些经常用到逻辑编程工具的范畴：最常用的逻辑编程语言是Prolog，另外有较适用于大型方案的Mercury。详尽的清单可见于。历史. 早在二十世纪七十年代，罗伯特·科瓦尔斯基等人提出了逻辑可以作为程序设计语言的基本思想，把逻辑和程序这两个截然不同的概念协调统一为一个概念，于是诞生了逻辑程序设计。这也是早期自动定理证明和人工智能发展的自然结果。随后，逻辑程序设计得到了迅速发展，特别是基于一阶谓词的逻辑程序设计语言，将逻辑推理对应于计算，具有丰富的表达能力、非确定性等特点，在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等都有了广泛的应用。参考资料. -{H|zh-hans:重定向;zh-hant:重新导向;}--{H|zh-cn:字符;zh-tw:字元;}--{H|zh-hans:文件; zh-hant:档案;}--{H|zh-hans:快捷方式; zh-hant:捷径;}--{H|zh-hans:项目;zh-hant:专案;zh-tw:计划;zh-hk:计划;zh-mo:计划;}--{H|zh-cn:计算机; zh-sg:电脑; zh-tw:电脑;}-

速记

浦安市

孝感市

Adobe Dreamweaver

欧拉公式

黄志雄

媒介语

十二铜表法

微分几何

可见光

阳泉市

榆次区