什么是逻辑编程？(logical programming?)
逻辑编程是一种计算机编程，在这种编程中，程序员必须向计算机发出指令，说明如何使用数学逻辑做出决策，例如使用数学算法。计算机程序由告诉计算机该做什么的代码组成。然而，最终，计算机将遇到一个实例，它必须决定如何继续，如果没有关于如何进行的任何信息，它将无法完成当前的功能。逻辑编程处理这些类型的决策，并向计算机发出指令，以便计算机能够做出关于如何最好地应对特定情况的“逻辑”决策。为了使逻辑编程能够工作，编写代码的程序员需要确保其语句有意义且真实，因此具有逻辑性，并且需要一个称为定理证明程序的计算机程序根据其在程序员代码中遇到的语句做出决策 .
定理证明者指的是一个计算机程序，它被设计用来解决被称为定理的数学陈述。定理是根据先前的陈述证明为真的陈述。在逻辑编程中，定理证明器与计算机程序员创建的语句一起工作以得出结论。例如，如果代码声明A等于B且B等于C，则定理证明者将得出A必须等于C的逻辑结论。这个过程不同于程序员在代码中简单地告诉计算机A等于C，因为计算机程序必须使用定理证明器和程序员在代码中的原始语句得出这个结论。
从理论上讲，对于逻辑编程来说，程序员只需要确保自己的语句是正确的，定理证明者的创建者应该确保程序能够读取语句，并根据语句做出最有效的决策。做出有效决策的能力被称为“逻辑”运行的计算机事实上，这两个领域的工作是重叠的，那些执行逻辑编程的人通常不得不根据定理证明器的工作方式来更改和操作代码，以实现他们想要的结果。简单地输入关于如何做出某个决定的准确陈述可能不足以让计算机执行正确的功能，程序员将不得不测试她的代码并做出相应的调整。
为了使逻辑编程正常工作，它还依赖于反向推理。在反向推理中，程序通过查看一组数据并根据一般已知语句得出更高级的结论来得出结论。程序可能知道有两条信息是真的，并且它会推断，由于这两条信息是真的，这意味着第三条信息也是真的。它会继续这个过程，直到根据所提供的信息得出合乎逻辑的结论。由于它的工作方式，逻辑编程是建立在声明式表示语言上的，这意味着程序告诉计算机它应该做什么，但让定理证明者决定执行所请求的过程的最合理或最有效的方式。
- 发表于 2021-12-14 09:45
- 阅读 ( 209 )
- 分类：互联网
你可能感兴趣的文章
声明的(declarative)和命令式程序设计(imperative programming)的区别
...式编程与命令式编程 5. 摘要 什么是声明式编程(declarative programming)？ 声明式编程可以用一个真实的场景来解释。假设用户需要检查新邮件。一种方法是启用收件箱通知。用户只需启用一次通知，每次新邮件到达时，他都会自动...
函数式程序设计(functional programming)和命令式程序设计(imperative programming)的区别
...式的命令式编程 6.摘要 什么是函数式程序设计(functional programming)？ 函数式程序设计是以数学为基础的。函数式编程背后的关键原则是，所有的计算都被看作是独立数学函数的组合。数学函数将输入映射到输出。假设有一个函数...
语法错误(syntax error)和逻辑错误(logical error)的区别
...或逻辑的错误而发生的错误。 目录 1. 概述和主要区别 2. 什么是语法错误 3. 什么是逻辑错误 4. 语法错误与逻辑错误的相似性 5. 并列比较-语法错误与表格形式的逻辑错误 6.摘要 什么是语法错误(syntax error)？ 通常，程序是用高级...
按位(bitwise)和逻辑运算符(logical operators)的区别
...用于根据多个条件进行决策。 目录 1. 概述和主要区别 2.什么是位运算符 3. 什么是逻辑运算符 4. 位运算符与逻辑运算符的相似性 5. 并排比较-按位与表格式的逻辑运算符 6.摘要 什么是定义的位运算(bitwise operators)？ 按位运算符操...
可编程逻辑控制器如何在你周围运行
...线和自动化过程都得益于可编程逻辑控制器的使用。看看什么是PLC，它们是如何工作的，它们是如何统治世界的。 ...
苹果更新逻辑prox与活循环和步进序列器
...新的合成和调制功能，并且有一个自动采样工具，可以让逻辑分析记录并将其转换为可播放的仪器。还有一个自动采样器功能，可以捕捉一个连接的仪器，如一个模块化合成器的声音，并把它变成一个录音仪器。文件仍以Logic较...
编码(coding)和编程(programming)的区别
...建软件的一部分。这就是编程的关键所在。 什么是编程(programming)？ 编程是指对机器或应用程序进行编程，使其在没有任何错误的情况下运行。编程是一个常用的术语，用来描述用一组指令来执行给料机的过程。简单地说，编程...
示波器(oscilloscope)和逻辑分析仪(logic analyzer)的区别
...通道逻辑分析仪，但两者之间的区别是相当微妙的。 什么是示波器(a oscilloscope)？ 示波器是一种测试仪器，用作模拟电子电路的测量工具。它是专门设计用来显示在电子电路中遇到的电压变化，周期性的或其他的。 它观察在...
编码(coding)和编程(programming)的区别
...逻辑。总的来说，编码是编程的一个步骤。 什么是编程(programming)？ 与编码相比，编程是一个更广泛的概念。程序设计是为计算机执行一项任务而设计和开发程序的整个过程。第一步是找出问题所在。下一步是做分析。这涉及到...
运行时错误(runtime error)和逻辑错误(logical error)的区别
...误，它是由于程序语法错误引起的。 覆盖的关键领域 1.什么是运行时错误–定义、原因、检测、输出2.什么是逻辑错误–定义、原因、检测、输出3.运行时错误和逻辑错误之间的区别是什么–关键区别的比较 关键术语 逻辑错误...
0 篇文章
