theory - 为什么逻辑编程没有赢？

Question

就目前而言，这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持，但这个问题可能会引起辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开，visit the help center为指导。




11 年前关闭。




看到它给我带来的好处，我看到了几个巨大的优势:

更好的无错误编程方法。例子。如果您必须使用命令式编程启用/禁用菜单项，您不仅应该记住启用此项的条件，而且不要忘记跟踪应该执行这段代码的所有时刻。在 LP 中，后者(我想)不是必需的

可能是编写启动速度更快的程序的好方法。由于所有内容都打包在依赖项中，因此必要的实际代码仅在必要时运行。通常，许多代码在开始时需要花费很多时间，不是因为现在需要它，而是因为将来有时会需要它。

似乎也是自动应用并发的好方法。这是因为如果我们可以跟踪项目的所有依赖项，我们理论上可以看到图的某些分支可以并行评估。

这只是我的猜测，因为我确实没有用逻辑编程语言编写任何程序，但这似乎是一个非常令人印象深刻的概念。那么在现实生活中是否存在缺点或我的积极因素不是真的？

谢谢

最大限度

Answer 1

说到我有过一些经验的 Prolog，我发现逻辑编程适用于某些任务，但在调试超出特定大小的应用程序时非常深不可测。它的范式不适用于某些问题或某些规模的问题。

Prolog 不是通用编程语言。它适用于人工智能。它有一个既定的目的 - 它并没有真正关注其他事情。

现代编程语言没有目的。它只是。它是通用的，同样适用于典型商业案例遇到的大多数程序。这是一个巨大的优势。 C# 知识可以转移到许多领域，而 Prolog 则不是。使用逻辑编程语言编写某些类型的应用程序(比如实时图形)会非常痛苦。这个概念让我非常头疼(说真的)。

我认为逻辑编程从来都不是竞争对手。它总是在专业环境中正确使用，而不是通用。它不是为人气而战。

我不知道 F# 是否给聚会带来了新的东西。它似乎很受欢迎，虽然我不知道你是否将其称为严格的逻辑编程，但它似乎是一种混合。